|
||||||||||
| 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 | |||||||||