| com.hp.hpl.jena.reasoner.rulesys.impl |
|
Package documentation for com.hp.hpl.jena.reasoner.rulesys.impl
Internal implementation objects used by the rule system interpreters
and compilers. Note that the class in here are not intended for
general use. In particular, they are primarily stucts rather than
correctly encasulated objects (i.e. they access each other's fields
directly in some cases, instead of indirectly through accessor methods).
|
| Java Source File Name | Type | Comment |
| BaseRuleReasonerFactory.java | Class | BaseRuleReasonerFactory - a base for RuleReasonerFactories that handles
the list of rules. |
| BBRuleContext.java | Class | Implementation of RuleContext for use in the backward chaining
interpreter. |
| BFRuleContext.java | Class | An implementation of the generic RuleContext interface used by
the basic forward (BF) rule engine. |
| BindingStack.java | Class | Provides a trail of possible variable bindings for a forward rule. |
| BindingVector.java | Class | An implementation of a binding environment that maintains
a single array of bound values for the variables in a rule.
Stack management is done externally. |
| ChoicePointFrame.java | Class | Represents a single frame in the LP interpreter's choice point stack,
represents the OR part of the search tree. |
| ConsumerChoicePointFrame.java | Class | Frame in the LPInterpreter's control stack used to represent matching
to the results of a tabled predicate. |
| EnvironmentFrame.java | Class | Represents a single frame in the LP interpreter's environment stack. |
| EnvironmentFrameWithDerivation.java | Class | Extension of the normal AND-stack environment frame to support
incremental derivation logging. |
| FrameObject.java | Class | Base class for stack frame objects. |
| FRuleEngine.java | Class | The processing engine for forward production rules. |
| FRuleEngineI.java | Interface | Rule engines implement the internals of forward rule inference
graphs and the forward part of hybrid graphs. |
| Generator.java | Class | A generator represents a set of memoized results for a single
tabled subgoal. |
| GenericChoiceFrame.java | Class | Core properties of choice frames used use to represent the OR state of
the backtracking search. |
| GenericTripleMatchFrame.java | Class | Frame on the choice point stack used to represent the state of some form of triple
match - this is either a direct graph query or a query to a cached set of results. |
| LPAgendaEntry.java | Interface | The signature of classes that can go on the LPEngines processing
agenda. |
| LPBindingEnvironment.java | Class | Implementation of the binding environment interface for use in LP
backward rules. |
| LPBRuleEngine.java | Class | LP version of the core backward chaining engine. |
| LPInterpreter.java | Class | Bytecode interpeter engine for the LP version of the backward
chaining rule system. |
| LPInterpreterContext.java | Interface | The context in which an LPInterpreter instance is running. |
| LPInterpreterState.java | Interface | Marker interface for classes than can be used to initialize the
state of an LP interpreter - either an initial context (which
in turn is either a top level iterator or an generator being
run for the first time), or a previaous saved context (i.e. |
| LPRuleStore.java | Class | Holds the set of backward rules used by an LPEngine. |
| LPRuleSyntaxException.java | Class | Exception used to indicate syntactic errors the LP version of the
backward chaining rule engine. |
| LPTopGoalIterator.java | Class | Wraps up the results an LP rule engine instance into a conventional
iterator. |
| MutableTriplePattern.java | Class | Variant of the normal TriplePattern object which can be updated in place
to avoid store turn over. |
| OWLExptRuleTranslationHook.java | Class | Experimental change to OWL translation hook that doesn't handle translation
of restrictions to functors. |
| OWLRuleTranslationHook.java | Class | A rule preprocessor that scans the data looking for interesection
definitions and augements the rule base by translations of the
intersection statement. |
| RDFSCMPPreprocessHook.java | Class | A rule preprocessor that scans all supplied data looking for instances
of container membership properties and adds those to the deductions set. |
| RETEClauseFilter.java | Class | Checks a triple against the grounded matches and intra-triple matches
for a single rule clause. |
| RETEConflictSet.java | Class | Manages a set of ready-to-fire rules. |
| RETEEngine.java | Class | A RETE version of the the forward rule system engine. |
| RETENode.java | Interface | Interface for all nodes in the network. |
| RETEQueue.java | Class | Represents one input left of a join node. |
| RETERuleContext.java | Class | An implementation of the generic RuleContext for use in the RETE implementation. |
| RETESinkNode.java | Interface | Interface for all inner nodes in the RETE network. |
| RETESourceNode.java | Interface | Interface for all non-terminal nodes in the network. |
| RETETerminal.java | Class | The final node in a RETE graph. |
| RuleClauseCode.java | Class | Object used to hold the compiled bytecode stream for a single rule clause. |
| RuleStore.java | Class | Indexes a collection of rule. |
| StateFlag.java | Class | A set of constants used to record state information in the
backchaining rule interepreter. |
| TempNodeCache.java | Class | In some rules we need to be able to create temporary property values
which are inferred from ontology constraints but not present in the ground
data. |
| TopLevelTripleMatchFrame.java | Class | |
| TripleMatchFrame.java | Class | Frame on the choice point stack used to represent the state of a direct
graph triple match. |
| WrappedReasonerFactory.java | Class | WrappedReasonerFactory - a wrapper round ReasonerFactories that
accepts a Resource configuring initial rules, schemas, etc. |