| com.hp.hpl.jena.reasoner.rulesys.impl.FRuleEngineI
All known Subclasses: com.hp.hpl.jena.reasoner.rulesys.impl.RETEEngine, com.hp.hpl.jena.reasoner.rulesys.impl.FRuleEngine,
| FRuleEngineI | | public interface FRuleEngineI (Code) | | Rule engines implement the internals of forward rule inference
graphs and the forward part of hybrid graphs. This interface
abstracts the interface onto such engines to allow a graph to
switch between direct and RETE style implementations.
author:
Dave Reynolds
version:
$Revision: 1.9 $ on $Date: 2008/01/02 12:06:15 $ |
| Method Summary | |
| public void | add(Triple t)
Add one triple to the data graph, run any rules triggered by
the new data item, recursively adding any generated triples. | | public boolean | delete(Triple t)
Remove one triple to the data graph. | | public void | fastInit(Finder inserts)
Process all available data. | | public long | getNRulesFired()
| | public Object | getRuleStore()
Access the precomputed internal rule form. | | public void | init(boolean ignoreBrules, Finder inserts)
Process all available data. | | public void | setDerivationLogging(boolean recordDerivations)
| | public void | setRuleStore(Object ruleStore)
Set the internal rule from from a precomputed state. | | public boolean | shouldTrace()
Return true if the internal engine state means that tracing is worthwhile. |
| add | | public void add(Triple t)(Code) | | Add one triple to the data graph, run any rules triggered by
the new data item, recursively adding any generated triples.
|
| delete | | public boolean delete(Triple t)(Code) | | Remove one triple to the data graph.
true if the effects could be correctly propagated orfalse if not (in which case the entire engine should be restarted). |
| fastInit | | public void fastInit(Finder inserts)(Code) | | Process all available data. This version expects that all the axioms
have already be preprocessed and the rules have been compiled
Parameters:
inserts - the set of triples to be processed, normally this is theraw data graph but may include additional deductions made by preprocessing hooks |
| getNRulesFired | | public long getNRulesFired()(Code) | | Return the number of rules fired since this rule engine instance
was created and initialized
|
| getRuleStore | | public Object getRuleStore()(Code) | | Access the precomputed internal rule form. Used when precomputing the
internal axiom closures.
|
| init | | public void init(boolean ignoreBrules, Finder inserts)(Code) | | Process all available data. This should be called once a deductions graph
has be prepared and loaded with any precomputed deductions. It will process
the rule axioms and all relevant existing exiting data entries.
Parameters:
ignoreBrules - set to true if rules written in backward notation should be ignored
Parameters:
inserts - the set of triples to be processed, normally this is theraw data graph but may include additional deductions made by preprocessing hooks |
| setDerivationLogging | | public void setDerivationLogging(boolean recordDerivations)(Code) | | Set to true to enable derivation caching
|
| setRuleStore | | public void setRuleStore(Object ruleStore)(Code) | | Set the internal rule from from a precomputed state.
|
| shouldTrace | | public boolean shouldTrace()(Code) | | Return true if the internal engine state means that tracing is worthwhile.
It will return false during the axiom bootstrap phase.
|
|
|