Package org.apache.jena.reasoner
Interface Derivation
-
- All Known Implementing Classes:
RuleDerivation
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.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
printTrace(java.io.PrintWriter out, boolean bindings)
Print a deep traceback of this derivation back to axioms and source assertions.java.lang.String
toString()
Return a short-form description of this derivation.
-
-
-
Method Detail
-
toString
java.lang.String toString()
Return a short-form description of this derivation.- Overrides:
toString
in classjava.lang.Object
-
printTrace
void printTrace(java.io.PrintWriter out, boolean bindings)
Print a deep traceback of this derivation back to axioms and source assertions.- Parameters:
out
- the stream to print the trace out tobindings
- set to true to print intermediate variable bindings for each stage in the derivation
-
-