BackwardRuleInfGraphI (Apache Jena)

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 call
    
    env - the BindingEnvironment for this call
    
    rule - 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 applies
    
    prop - the property node whose value is being inferred
    
    pclass - 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.