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.
Method SummaryModifier and TypeMethodDescriptionMatch 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.
intReturn a version stamp for this graph which can be used to fast-fail concurrent modification exceptions.
voidLogger a derivation record against the given triple.
booleanProcess 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
processBuiltinProcess a call to a builtin predicate
clause- the term representing the call
env- the BindingEnvironment for this call
rule- the rule which is invoking this call
- true if the predicate succeeds
findDataMatchesMatch a pattern just against the stored data (raw data, schema, axioms) but no backchaining derivation.
logDerivationLogger a derivation record against the given triple.
getTempRetrieve or create a bNode representing an inferred property value.
instance- the base instance node to which the property applies
prop- the property node whose value is being inferred
pclass- the (optional, can be null) class for the inferred value.
- the bNode representing the property value
getVersionint getVersion()Return a version stamp for this graph which can be used to fast-fail concurrent modification exceptions.