Class RuleDerivation

  • All Implemented Interfaces:

    public class RuleDerivation
    extends java.lang.Object
    implements 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.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object other)
      Compare two derivations.
      Triple getConclusion()  
      java.util.List<Triple> getMatches()  
      Rule getRule()  
      void printTrace​( 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.
      • Methods inherited from class java.lang.Object

        getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • RuleDerivation

        public RuleDerivation​(Rule rule,
                              Triple conclusion,
                              java.util.List<Triple> matches,
                              InfGraph infGraph)
        rule - the rule which created this derivation
        conclusion - the triple which the rule created
        matches - a list of matching Triples corresponding to the rule body patterns
        infGraph - the parent infGraph which was controlling the derivation
    • Method Detail

      • toString

        public java.lang.String toString()
        Return a short-form description of this derivation.
        Specified by:
        toString in interface Derivation
        toString in class java.lang.Object
      • printTrace

        public void printTrace​( out,
                               boolean bindings)
        Print a deep traceback of this derivation back to axioms and source assertions.
        Specified by:
        printTrace in interface Derivation
        out - the stream to print the trace out to
        bindings - set to true to print intermediate variable bindings for each stage in the derivation
      • getConclusion

        public Triple getConclusion()
        the triple concluded by the derivation
      • getMatches

        public java.util.List<Triple> getMatches()
        the set of triples which were used in firing this rule derivation
      • getRule

        public Rule getRule()
        the rule which fired to create this derivation
      • equals

        public boolean equals​(java.lang.Object other)
        Compare two derivations. This is a shallow comparison, two derivations are the same if they contain the same conclusion, rule and match list. They do not need to be derived from the same (or any) infGraph.
        equals in class java.lang.Object