| Package | Description |
|---|---|
| org.apache.jena.reasoner.rulesys |
Provides a selection of simple rule engines for Jena inference models.
|
| org.apache.jena.reasoner.rulesys.impl |
Internal implementation objects used by the rule system interpreters
and compilers.
|
| Class and Description |
|---|
| LPRuleStore
Holds the set of backward rules used by an LPEngine.
|
| Class and Description |
|---|
| BFRuleContext
An implementation of the generic RuleContext interface used by
the basic forward (BF) rule engine.
|
| BindingStack
Provides a trail of possible variable bindings for a forward rule.
|
| BindingVector
An implementation of a binding environment that maintains
a single array of bound values for the variables in a rule.
|
| BindingVectorMultiSet
A multi set of BindingVector's divided in buckets matching an unique
combination of values at given indices managed by RETEQueue
|
| ConsumerChoicePointFrame
Frame in the LPInterpreter's control stack used to represent matching
to the results of a tabled predicate.
|
| EnvironmentFrame
Represents a single frame in the LP interpreter's environment stack.
|
| FrameObject
Base class for stack frame objects.
|
| FRuleEngineI
Rule engines implement the internals of forward rule inference
graphs and the forward part of hybrid graphs.
|
| FRuleEngineIFactory
Factory class for creating
FRuleEngineI. |
| Generator
A generator represents a set of memoized results for a single
tabled subgoal.
|
| GenericChoiceFrame
Core properties of choice frames used use to represent the OR state of
the backtracking search.
|
| GenericTripleMatchFrame
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
The signature of classes that can go on the LPEngines processing
agenda.
|
| LPBRuleEngine
LP version of the core backward chaining engine.
|
| LPInterpreter
Bytecode interpreter engine for the LP version of the backward
chaining rule system.
|
| LPInterpreterContext
The context in which an LPInterpreter instance is running.
|
| LPInterpreterState
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 previous saved context (i.e.
|
| LPRuleStore
Holds the set of backward rules used by an LPEngine.
|
| RETEClauseFilter
Checks a triple against the grounded matches and intra-triple matches
for a single rule clause.
|
| RETEEngine
A RETE version of the forward rule system engine.
|
| RETENode
Interface for all nodes in the network.
|
| RETEQueue
Represents one input left of a join node.
|
| RETERuleContext
An implementation of the generic RuleContext for use in the RETE implementation.
|
| RETESinkNode
Interface for all inner nodes in the RETE network.
|
| RETESourceNode
Interface for all non-terminal nodes in the network.
|
| RuleClauseCode
Object used to hold the compiled bytecode stream for a single rule clause.
|
| RuleStore
Indexes a collection of rule.
|
| StateFlag
A set of constants used to record state information in the
backchaining rule interpreter.
|
Licenced under the Apache License, Version 2.0