| com.hp.hpl.jena.reasoner.rulesys.BackwardRuleInfGraphI
All known Subclasses: com.hp.hpl.jena.reasoner.rulesys.LPBackwardRuleInfGraph, com.hp.hpl.jena.reasoner.rulesys.FBRuleInfGraph, com.hp.hpl.jena.reasoner.rulesys.impl.oldCode.OrigFBRuleInfGraph, com.hp.hpl.jena.reasoner.rulesys.impl.oldCode.BasicBackwardRuleInfGraph,
| BackwardRuleInfGraphI | | public interface BackwardRuleInfGraphI extends SilentAddI,InfGraph(Code) | | This interface collects together those operations that the backchaining
engine needs to invoke in the parent InfGraph. This allows different inf graphs
to exploit the same core backchaining engine.
author:
Dave Reynolds
version:
$Revision: 1.13 $ on $Date: 2008/01/02 12:07:47 $ |
| Method Summary | |
| public ExtendedIterator | findDataMatches(TriplePattern pattern)
Match a pattern just against the stored data (raw data, schema,
axioms) but no backchaining derivation. | | public Node | getTemp(Node instance, Node prop, Node pclass)
Retrieve or create a bNode representing an inferred property value.
Parameters:
instance - the base instance node to which the property applies
Parameters:
prop - the property node whose value is being inferred
Parameters:
pclass - the (optional, can be null) class for the inferred value. | | public int | getVersion()
Return a version stamp for this graph which can be
used to fast-fail concurrent modification exceptions. | | public void | logDerivation(Triple t, Object derivation)
Log a dervivation record against the given triple. | | public boolean | processBuiltin(ClauseEntry clause, Rule rule, BindingEnvironment env)
|
| findDataMatches | | public ExtendedIterator findDataMatches(TriplePattern pattern)(Code) | | Match a pattern just against the stored data (raw data, schema,
axioms) but no backchaining derivation.
|
| getTemp | | public Node getTemp(Node instance, Node prop, Node pclass)(Code) | | Retrieve or create a bNode representing an inferred property value.
Parameters:
instance - the base instance node to which the property applies
Parameters:
prop - the property node whose value is being inferred
Parameters:
pclass - the (optional, can be null) class for the inferred value. the bNode representing the property value |
| getVersion | | public int getVersion()(Code) | | Return a version stamp for this graph which can be
used to fast-fail concurrent modification exceptions.
|
| logDerivation | | public void logDerivation(Triple t, Object derivation)(Code) | | Log a dervivation record against the given triple.
|
| processBuiltin | | public boolean processBuiltin(ClauseEntry clause, Rule rule, BindingEnvironment env)(Code) | | Process a call to a builtin predicate
Parameters:
clause - the term representing the call
Parameters:
env - the BindingEnvironment for this call
Parameters:
rule - the rule which is invoking this call true if the predicate succeeds |
|
|