|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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. |
ExtendedIterator |
findDataMatches(Node subject,
Node predicate,
Node object)
Search the combination of data and deductions graphs for the given triple pattern. |
Graph |
getDeductionsGraph()
Return the Graph containing all the static deductions available so far. |
void |
logDerivation(Triple t,
java.lang.Object derivation)
Log a dervivation record against the given triple. |
boolean |
shouldLogDerivations()
Return true if derivation logging is enabled. |
boolean |
shouldTrace()
Return true if tracing should be acted on - i.e. if traceOn is true and we are past the bootstrap phase. |
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 |
close, contains, contains, delete, dependsOn, find, find, getBulkUpdateHandler, getCapabilities, getEventManager, getPrefixMapping, getReifier, getTransactionHandler, isEmpty, isIsomorphicWith, queryHandler, size |
Methods inherited from interface com.hp.hpl.jena.graph.GraphAdd |
add |
Methods inherited from interface com.hp.hpl.jena.reasoner.rulesys.SilentAddI |
silentAdd |
Method Detail |
public boolean shouldTrace()
public void addBRule(Rule brule)
public void deleteBRule(Rule brule)
public Graph getDeductionsGraph()
getDeductionsGraph
in interface InfGraph
public void addDeduction(Triple t)
public ExtendedIterator findDataMatches(Node subject, Node predicate, Node object)
public boolean shouldLogDerivations()
public void logDerivation(Triple t, java.lang.Object derivation)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |