Package org.apache.jena.reasoner.rulesys
Class RuleDerivation
- java.lang.Object
-
- org.apache.jena.reasoner.rulesys.RuleDerivation
-
- All Implemented Interfaces:
Derivation
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.
-
-
Constructor Summary
Constructors Constructor Description RuleDerivation(Rule rule, Triple conclusion, java.util.List<Triple> matches, InfGraph infGraph)
Constructor
-
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(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.
-
-
-
Constructor Detail
-
RuleDerivation
public RuleDerivation(Rule rule, Triple conclusion, java.util.List<Triple> matches, InfGraph infGraph)
Constructor- Parameters:
rule
- the rule which created this derivationconclusion
- the triple which the rule createdmatches
- a list of matching Triples corresponding to the rule body patternsinfGraph
- 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 interfaceDerivation
- Overrides:
toString
in classjava.lang.Object
-
printTrace
public void printTrace(java.io.PrintWriter out, boolean bindings)
Print a deep traceback of this derivation back to axioms and source assertions.- Specified by:
printTrace
in interfaceDerivation
- Parameters:
out
- the stream to print the trace out tobindings
- set to true to print intermediate variable bindings for each stage in the derivation
-
getConclusion
public Triple getConclusion()
- Returns:
- the triple concluded by the derivation
-
getMatches
public java.util.List<Triple> getMatches()
- Returns:
- the set of triples which were used in firing this rule derivation
-
getRule
public Rule getRule()
- Returns:
- 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.- Overrides:
equals
in classjava.lang.Object
-
-