com.hp.hpl.jena.reasoner
Interface Derivation

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.4 $ on $Date: 2003/06/04 08:09:49 $

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

public java.lang.String toString()

Return a short-form description of this derivation.

printTrace

public 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