|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ForwardRuleInfGraphI
This interface collects together the operations on the InfGraph which are needed to support the forward rule engine.
Field Summary |
---|
Fields inherited from interface com.hp.hpl.jena.graph.Graph |
---|
emptyGraph |
Method Summary | |
---|---|
void |
addBRule(Rule brule)
Adds a new Backward rule as a rules of a forward rule process. |
void |
addDeduction(Triple t)
Add a new deduction to the deductions graph. |
void |
deleteBRule(Rule brule)
Deletes a new Backward rule as a rules of a forward rule process. |
com.hp.hpl.jena.util.iterator.ExtendedIterator<Triple> |
findDataMatches(Node subject,
Node predicate,
Node object)
Search the combination of data and deductions graphs for the given triple pattern. |
Graph |
getCurrentDeductionsGraph()
Return the Graph containing all the static deductions available so far. |
Graph |
getDeductionsGraph()
Return the Graph containing all the static deductions available so far. |
void |
logDerivation(Triple t,
Derivation derivation)
Logger a dervivation record against the given triple. |
void |
setFunctorFiltering(boolean param)
Set to true to cause functor-valued literals to be dropped from rule output. |
boolean |
shouldLogDerivations()
Return true if derivation logging is enabled. |
boolean |
shouldTrace()
Return true if tracing should be acted on - i.e. |
Methods inherited from interface com.hp.hpl.jena.reasoner.InfGraph |
---|
find, getDerivation, getGlobalProperty, getRawGraph, getReasoner, prepare, rebind, rebind, reset, setDerivationLogging, testGlobalProperty, validate |
Methods inherited from interface com.hp.hpl.jena.graph.Graph |
---|
add, clear, close, contains, contains, delete, dependsOn, find, find, getBulkUpdateHandler, getCapabilities, getEventManager, getPrefixMapping, getStatisticsHandler, getTransactionHandler, isClosed, isEmpty, isIsomorphicWith, remove, size |
Methods inherited from interface com.hp.hpl.jena.reasoner.rulesys.SilentAddI |
---|
silentAdd |
Method Detail |
---|
boolean shouldTrace()
void addBRule(Rule brule)
void deleteBRule(Rule brule)
Graph getDeductionsGraph()
getDeductionsGraph
in interface InfGraph
Graph getCurrentDeductionsGraph()
void addDeduction(Triple t)
com.hp.hpl.jena.util.iterator.ExtendedIterator<Triple> findDataMatches(Node subject, Node predicate, Node object)
boolean shouldLogDerivations()
void logDerivation(Triple t, Derivation derivation)
void setFunctorFiltering(boolean param)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |