- All Known Implementing Classes:
public interface Derivation
Derivation records are used to determine how an inferred triple was derived from a set of source triples and a reasoner. SubClasses provide more specific information.
A future option might be to generate an RDF description of the derivation trace.
toStringString toString()Return a short-form description of this derivation.
(PrintWriter out, boolean bindings)Print a deep traceback of this derivation back to axioms and source assertions.
out- the stream to print the trace out to
bindings- set to true to print intermediate variable bindings for each stage in the derivation