- All Superinterfaces:
Graph
,InfGraph
,SilentAddI
- All Known Implementing Classes:
BasicForwardRuleInfGraph
,FBRuleInfGraph
,RDFSRuleInfGraph
,RETERuleInfGraph
This interface collects together the operations on the InfGraph which
are needed to support the forward rule engine.
-
Field Summary
Fields inherited from interface org.apache.jena.graph.Graph
emptyGraph
-
Method Summary
Modifier and TypeMethodDescriptionvoid
Adds a new Backward rule as a rules of a forward rule process.void
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.findDataMatches
(Node subject, Node predicate, Node object) Search the combination of data and deductions graphs for the given triple pattern.Return the Graph containing all the static deductions available so far.Return the Graph containing all the static deductions available so far.void
logDerivation
(Triple t, Derivation derivation) Logger a derivation record against the given triple.void
setFunctorFiltering
(boolean param) Set to true to cause functor-valued literals to be dropped from rule output.boolean
Return true if derivation logging is enabled.boolean
Return true if tracing should be acted on - i.e.Methods inherited from interface org.apache.jena.graph.Graph
add, add, clear, close, contains, contains, delete, delete, dependsOn, find, find, find, getCapabilities, getEventManager, getPrefixMapping, getTransactionHandler, isClosed, isEmpty, isIsomorphicWith, remove, size, sizeLong, stream, stream
Methods inherited from interface org.apache.jena.reasoner.InfGraph
find, getDerivation, getGlobalProperty, getRawGraph, getReasoner, prepare, rebind, rebind, reset, setDerivationLogging, testGlobalProperty, validate
Methods inherited from interface org.apache.jena.reasoner.rulesys.SilentAddI
silentAdd
-
Method Details
-
shouldTrace
boolean shouldTrace()Return true if tracing should be acted on - i.e. if traceOn is true and we are past the bootstrap phase. -
addBRule
Adds a new Backward rule as a rules of a forward rule process. Only some infgraphs support this. -
deleteBRule
Deletes a new Backward rule as a rules of a forward rule process. Only some infgraphs support this. -
getDeductionsGraph
Graph getDeductionsGraph()Return the Graph containing all the static deductions available so far. Triggers a prepare if the graph has not been prepared already.- Specified by:
getDeductionsGraph
in interfaceInfGraph
- Returns:
- the deductions graph, if relevant for this class of inference engine or null if not.
-
getCurrentDeductionsGraph
Graph getCurrentDeductionsGraph()Return the Graph containing all the static deductions available so far. Does not trigger a prepare action. -
addDeduction
Add a new deduction to the deductions graph. -
findDataMatches
Search the combination of data and deductions graphs for the given triple pattern. This may different from the normal find operation in the base of hybrid reasoners where we are side-stepping the backward deduction step. -
shouldLogDerivations
boolean shouldLogDerivations()Return true if derivation logging is enabled. -
logDerivation
Logger a derivation record against the given triple. -
setFunctorFiltering
void setFunctorFiltering(boolean param) Set to true to cause functor-valued literals to be dropped from rule output. Default is true.
-