|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.hp.hpl.jena.reasoner.rulesys.RuleDerivation
public class RuleDerivation
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 | |
|---|---|
RuleDerivation(Rule rule,
Triple conclusion,
List<Triple> matches,
InfGraph infGraph)
Constructor |
|
| Method Summary | |
|---|---|
boolean |
equals(Object other)
Compare two derivations. |
Triple |
getConclusion()
|
List<Triple> |
getMatches()
|
Rule |
getRule()
|
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. |
| Methods inherited from class java.lang.Object |
|---|
getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public RuleDerivation(Rule rule,
Triple conclusion,
List<Triple> matches,
InfGraph infGraph)
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 |
|---|
public String toString()
toString in interface DerivationtoString in class Object
public void printTrace(PrintWriter out,
boolean bindings)
printTrace in interface Derivationout - the stream to print the trace out tobindings - set to true to print intermediate variable bindings for
each stage in the derivationpublic Triple getConclusion()
public List<Triple> getMatches()
public Rule getRule()
public boolean equals(Object other)
equals in class Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||