Package org.apache.jena.reasoner.rulesys
Interface BackwardRuleInfGraphI
-
- All Superinterfaces:
Graph
,InfGraph
,SilentAddI
- All Known Implementing Classes:
FBRuleInfGraph
,LPBackwardRuleInfGraph
,RDFSRuleInfGraph
public interface BackwardRuleInfGraphI extends SilentAddI, InfGraph
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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description ExtendedIterator<Triple>
findDataMatches(TriplePattern pattern)
Match a pattern just against the stored data (raw data, schema, axioms) but no backchaining derivation.Node
getTemp(Node instance, Node prop, Node pclass)
Retrieve or create a bNode representing an inferred property value.int
getVersion()
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 predicate-
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, 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 Detail
-
processBuiltin
boolean processBuiltin(ClauseEntry clause, Rule rule, BindingEnvironment env)
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
ExtendedIterator<Triple> findDataMatches(TriplePattern pattern)
Match a pattern just against the stored data (raw data, schema, axioms) but no backchaining derivation.
-
logDerivation
void logDerivation(Triple t, Derivation derivation)
Logger a derivation record against the given triple.
-
getTemp
Node getTemp(Node instance, Node prop, Node pclass)
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.
-
-