com.hp.hpl.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.

Version:

$Revision: 1.1 $ on $Date: 2009/06/29 08:55:50 $

Author:

Dave Reynolds

Method Summary

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