Uses of Package

Provides a selection of simple rule engines for Jena inference models.
Internal implementation objects used by the rule system interpreters and compilers.
  • Class
    Holds the set of backward rules used by an LPEngine.
  • Class
    An implementation of the generic RuleContext interface used by the basic forward (BF) rule engine.
    Provides a trail of possible variable bindings for a forward rule.
    An implementation of a binding environment that maintains a single array of bound values for the variables in a rule.
    A multi set of BindingVector's divided in buckets matching an unique combination of values at given indices managed by RETEQueue
    Frame in the LPInterpreter's control stack used to represent matching to the results of a tabled predicate.
    Represents a single frame in the LP interpreter's environment stack.
    Base class for stack frame objects.
    Rule engines implement the internals of forward rule inference graphs and the forward part of hybrid graphs.
    Factory class for creating FRuleEngineI.
    A generator represents a set of memoized results for a single tabled subgoal.
    Core properties of choice frames used use to represent the OR state of the backtracking search.
    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.
    The signature of classes that can go on the LPEngines processing agenda.
    LP version of the core backward chaining engine.
    Bytecode interpreter engine for the LP version of the backward chaining rule system.
    The context in which an LPInterpreter instance is running.
    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.
    Holds the set of backward rules used by an LPEngine.
    Checks a triple against the grounded matches and intra-triple matches for a single rule clause.
    A RETE version of the forward rule system engine.
    Interface for all nodes in the network.
    Represents one input left of a join node.
    An implementation of the generic RuleContext for use in the RETE implementation.
    Interface for all inner nodes in the RETE network.
    Interface for all non-terminal nodes in the network.
    Object used to hold the compiled bytecode stream for a single rule clause.
    Indexes a collection of rule.
    A set of constants used to record state information in the backchaining rule interpreter.