Derivation (Apache Jena)

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 class java.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 to
    
    bindings - set to true to print intermediate variable bindings for each stage in the derivation