|
||||||||||
| 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 |
|---|
close, contains, contains, delete, dependsOn, find, find, getBulkUpdateHandler, getCapabilities, getEventManager, getPrefixMapping, getReifier, getStatisticsHandler, getTransactionHandler, isClosed, 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 |
|---|
boolean shouldTrace()
void addBRule(Rule brule)
void deleteBRule(Rule brule)
Graph getDeductionsGraph()
getDeductionsGraph in interface InfGraphGraph 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 | |||||||||