|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 | |
---|---|
void |
printTrace(PrintWriter out,
boolean bindings)
Print a deep traceback of this derivation back to axioms and source assertions. |
String |
toString()
Return a short-form description of this derivation. |
Method Detail |
---|
String toString()
toString
in class Object
void printTrace(PrintWriter out, boolean bindings)
out
- the stream to print the trace out tobindings
- set to true to print intermediate variable bindings for
each stage in the derivation
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |