com.hp.hpl.jena.reasoner.rulesys
Interface BackwardRuleInfGraphI
- All Superinterfaces:
- Graph, GraphAdd, 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.
- Version:
- $Revision: 1.9 $ on $Date: 2005/02/21 12:16:54 $
- Author:
- Dave Reynolds
Methods inherited from interface com.hp.hpl.jena.reasoner.InfGraph |
find, getDeductionsGraph, getDerivation, getGlobalProperty, getRawGraph, getReasoner, prepare, rebind, rebind, reset, setDerivationLogging, testGlobalProperty, validate |
Methods inherited from interface com.hp.hpl.jena.graph.Graph |
close, contains, contains, delete, dependsOn, find, find, getBulkUpdateHandler, getCapabilities, getEventManager, getPrefixMapping, getReifier, getTransactionHandler, isEmpty, isIsomorphicWith, queryHandler, size |
Methods inherited from interface com.hp.hpl.jena.graph.GraphAdd |
add |
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 findDataMatches(TriplePattern pattern)
- Match a pattern just against the stored data (raw data, schema,
axioms) but no backchaining derivation.
logDerivation
void logDerivation(Triple t,
java.lang.Object derivation)
- Log a dervivation 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
Copyright © 2000, 2001, 2002, 2003, 2004, 2005 Hewlett-Packard Development Company, LP