Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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.10 $ on $Date: 2008/01/02 12:07:00 $
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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

Copyright © 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP