Module org.apache.jena.core
Package org.apache.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.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    printTrace(PrintWriter out, boolean bindings)
    Print a deep traceback of this derivation back to axioms and source assertions.
    String
    toString()
    Return a short-form description of this derivation.

  • Method Details

    • toString

      String toString()
      Return a short-form description of this derivation.
      Overrides:
      toString in class Object

    • printTrace

      void printTrace(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