public interface BackwardRuleInfGraphI extends SilentAddI, InfGraph
emptyGraph| Modifier and Type | Method and Description |
|---|---|
com.hp.hpl.jena.util.iterator.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 dervivation record against the given triple.
|
boolean |
processBuiltin(ClauseEntry clause,
Rule rule,
BindingEnvironment env)
Process a call to a builtin predicate
|
silentAddfind, getDeductionsGraph, getDerivation, getGlobalProperty, getRawGraph, getReasoner, prepare, rebind, rebind, reset, setDerivationLogging, testGlobalProperty, validateclose, contains, contains, delete, dependsOn, find, find, getBulkUpdateHandler, getCapabilities, getEventManager, getPrefixMapping, getReifier, getStatisticsHandler, getTransactionHandler, isClosed, isEmpty, isIsomorphicWith, queryHandler, sizeboolean processBuiltin(ClauseEntry clause, Rule rule, BindingEnvironment env)
clause - the term representing the callenv - the BindingEnvironment for this callrule - the rule which is invoking this callcom.hp.hpl.jena.util.iterator.ExtendedIterator<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