| com.hp.hpl.jena.reasoner.Derivation
All known Subclasses: com.hp.hpl.jena.reasoner.rulesys.RuleDerivation,
| Derivation | | public interface Derivation (Code) | | 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.
author:
Dave Reynolds
version:
$Revision: 1.10 $ on $Date: 2008/01/02 12:07:00 $ |
| Method Summary | |
| public void | printTrace(PrintWriter out, boolean bindings)
Print a deep traceback of this derivation back to axioms and
source assertions. | | public String | toString()
Return a short-form description of this derivation. |
| printTrace | | public void printTrace(PrintWriter out, boolean bindings)(Code) | | Print a deep traceback of this derivation back to axioms and
source assertions.
Parameters:
out - the stream to print the trace out to
Parameters:
bindings - set to true to print intermediate variable bindings foreach stage in the derivation |
| toString | | public String toString()(Code) | | Return a short-form description of this derivation.
|
|
|