Package org.apache.jena.reasoner.rulesys
Interface BackwardRuleInfGraphI
- All Superinterfaces:
Graph
,InfGraph
,SilentAddI
- All Known Implementing Classes:
FBRuleInfGraph
,LPBackwardRuleInfGraph
,RDFSRuleInfGraph
This interface collects together those operations that the backchaining
engine needs to invoke in the parent InfGraph. This allows different inf graphs
to exploit the same core backchaining engine.
-
Field Summary
Fields inherited from interface org.apache.jena.graph.Graph
emptyGraph
-
Method Summary
Modifier and TypeMethodDescriptionfindDataMatches
(TriplePattern pattern) Match a pattern just against the stored data (raw data, schema, axioms) but no backchaining derivation.Retrieve or create a bNode representing an inferred property value.int
Return a version stamp for this graph which can be used to fast-fail concurrent modification exceptions.void
logDerivation
(Triple t, Derivation derivation) Logger a derivation record against the given triple.boolean
processBuiltin
(ClauseEntry clause, Rule rule, BindingEnvironment env) Process a call to a builtin predicateMethods 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, stream, stream
Methods inherited from interface org.apache.jena.reasoner.InfGraph
find, getDeductionsGraph, getDerivation, getGlobalProperty, getRawGraph, getReasoner, prepare, rebind, rebind, reset, setDerivationLogging, testGlobalProperty, validate
Methods inherited from interface org.apache.jena.reasoner.rulesys.SilentAddI
silentAdd
-
Method Details
-
processBuiltin
Process a call to a builtin predicate- Parameters:
clause
- the term representing the callenv
- the BindingEnvironment for this callrule
- the rule which is invoking this call- Returns:
- true if the predicate succeeds
-
findDataMatches
Match a pattern just against the stored data (raw data, schema, axioms) but no backchaining derivation. -
logDerivation
Logger a derivation record against the given triple. -
getTemp
Retrieve or create a bNode representing an inferred property value.- Parameters:
instance
- the base instance node to which the property appliesprop
- the property node whose value is being inferredpclass
- the (optional, can be null) class for the inferred value.- Returns:
- the bNode representing the property value
-
getVersion
int getVersion()Return a version stamp for this graph which can be used to fast-fail concurrent modification exceptions.
-