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