public interface BackwardRuleInfGraphI extends SilentAddI, InfGraph
emptyGraph
Modifier and Type | Method and 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
|
silentAdd
find, getDeductionsGraph, getDerivation, getGlobalProperty, getRawGraph, getReasoner, prepare, rebind, rebind, reset, setDerivationLogging, testGlobalProperty, validate
add, clear, close, contains, contains, delete, dependsOn, find, find, find, getCapabilities, getEventManager, getPrefixMapping, getStatisticsHandler, getTransactionHandler, isClosed, isEmpty, isIsomorphicWith, remove, size
boolean processBuiltin(ClauseEntry clause, Rule rule, BindingEnvironment env)
clause
- the term representing the callenv
- the BindingEnvironment for this callrule
- the rule which is invoking this callExtendedIterator<Triple> findDataMatches(TriplePattern pattern)
void logDerivation(Triple t, Derivation derivation)
Node getTemp(Node instance, Node prop, Node pclass)
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.int getVersion()
Licenced under the Apache License, Version 2.0