| java.lang.Object
 com.hp.hpl.jena.reasoner.rulesys.RuleDerivation
| RuleDerivation | | public class RuleDerivation implements Derivation(Code) | | 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.
author:
Dave Reynolds
version:
$Revision: 1.12 $ on $Date: 2008/01/02 12:07:47 $ |
| conclusion | | protected Triple conclusion(Code) | | The triple which was asserted
|
| infGraph | | protected InfGraph infGraph(Code) | | The InfGraph which produced this derivation
|
| matches | | protected List matches(Code) | | The list of triple matches that fired the rule
|
| rule | | protected Rule rule(Code) | | The rule which asserted this triple
|
| RuleDerivation | | public RuleDerivation(Rule rule, Triple conclusion, List matches, InfGraph infGraph)(Code) | | Constructor
Parameters:
rule - the rule which created this derivation
Parameters:
conclusion - the triple which the rule created
Parameters:
matches - a list of matching Triples corresponding to the rule body patterns
Parameters:
infGraph - the parent infGraph which was controlling the derivation |
| equals | | public boolean equals(Object other)(Code) | | 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.
|
| getConclusion | | public Triple getConclusion()(Code) | | the triple concluded by the derivation |
| getMatches | | public List getMatches()(Code) | | the set of triples which were used in firing this rule derivation |
| getRule | | public Rule getRule()(Code) | | the rule which fired to create this derivation |
| printTrace | | public void printTrace(PrintWriter out, boolean bindings)(Code) | | Print a deep traceback of this derivation back to axioms and
source assertions.
Parameters:
out - the stream to print the trace out to
Parameters:
bindings - set to true to print intermediate variable bindings foreach stage in the derivation |
| printTrace | | protected void printTrace(PrintWriter out, boolean bindings, int indent, HashSet seen)(Code) | | Print a deep traceback of this derivation back to axioms and
source assertions.
Parameters:
out - the stream to print the trace out to
Parameters:
bindings - set to true to print intermediate variable bindings foreach stage in the derivation
Parameters:
indent - the number of indent spaces to use
Parameters:
seen - a HashSet of derviations that have already been listed |
| toString | | public String toString()(Code) | | Return a short-form description of this derivation.
|
|
|