java.lang.Object
org.apache.jena.reasoner.rulesys.RuleDerivation
- All Implemented Interfaces:
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 -
Method Summary
Modifier and TypeMethodDescriptionboolean
Compare two derivations.getRule()
void
printTrace
(PrintWriter out, boolean bindings) Print a deep traceback of this derivation back to axioms and source assertions.toString()
Return a short-form description of this derivation.
-
Constructor Details
-
RuleDerivation
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 Details
-
toString
Return a short-form description of this derivation.- Specified by:
toString
in interfaceDerivation
- Overrides:
toString
in classObject
-
printTrace
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
- Returns:
- the triple concluded by the derivation
-
getMatches
- Returns:
- the set of triples which were used in firing this rule derivation
-
getRule
- Returns:
- the rule which fired to create this derivation
-
equals
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.
-