| Package | Description |
|---|---|
| org.apache.jena.assembler | |
| org.apache.jena.assembler.assemblers | |
| org.apache.jena.reasoner |
The Jena2 reasoner subsystem is designed to allow a range of inference
engines to be plugged into Jena.
|
| org.apache.jena.reasoner.rulesys |
Provides a selection of simple rule engines for Jena inference models.
|
| org.apache.jena.reasoner.rulesys.builtins |
Implementations of the Builtin class which provides primitive operations to the rule
engines.
|
| org.apache.jena.reasoner.rulesys.impl |
Internal implementation objects used by the rule system interpreters
and compilers.
|
| Class and Description |
|---|
| Rule
Representation of a generic inference rule.
|
| Class and Description |
|---|
| Rule
Representation of a generic inference rule.
|
| Class and Description |
|---|
| ClauseEntry
Common interface for all objects that can go into rules.
|
| Class and Description |
|---|
| BackwardRuleInfGraphI
This interface collects together those operations that the backchaining
engine needs to invoke in the parent InfGraph.
|
| BasicForwardRuleInfGraph
An inference graph interface that runs a set of forward chaining
rules to conclusion on each added triple and stores the entire
result set.
|
| BindingEnvironment
Interface through which the current bound values of variables
can be found.
|
| Builtin
Rules employ builtins to do all tests and actions other than simple triple
matches and triple creation.
|
| BuiltinRegistry |
| ClauseEntry
Common interface for all objects that can go into rules.
|
| FBRuleInfGraph
An inference graph that uses a mixture of forward and backward
chaining rules.
|
| FBRuleReasoner
Rule-based reasoner interface.
|
| ForwardRuleInfGraphI
This interface collects together the operations on the InfGraph which
are needed to support the forward rule engine.
|
| Functor
A functor comprises a functor name and a list of
arguments.
|
| GenericRuleReasoner
A reasoner interface that is able to invoke any of the useful
rule engine combinations.
|
| GenericRuleReasoner.RuleMode
Class used as an enum for describing rule modes.
|
| GenericRuleReasonerFactory
Factory object for creating general rule reasoner instances.
|
| Node_RuleVariable
A variation on the normal Node_Variable which support for value bindings.
|
| Rule
Representation of a generic inference rule.
|
| Rule.Parser
Inner class which provides minimalist parsing support based on
tokenisation with depth 1 lookahead.
|
| Rule.ParserException
Inner class.
|
| RuleContext
Interface used to convey context information from a rule engine
to the stack of procedural builtins.
|
| RulePreprocessHook
Implementors of this interface can be used as preprocessing passes
during intialization of (hybrid) rule systems.
|
| RuleReasoner
RuleReasoner - an interface to capture the idea of a Reasoner that relies on
Rules; motivated primarily by the testing for ModelSpecs which specify
Rules for Reasoners.
|
| SilentAddI
Interface supported by each of the rule system interpreters that
allow triples to added directly to the deductions cache, by-passing
any processing machinery.
|
| Class and Description |
|---|
| Builtin
Rules employ builtins to do all tests and actions other than simple triple
matches and triple creation.
|
| RuleContext
Interface used to convey context information from a rule engine
to the stack of procedural builtins.
|
| Class and Description |
|---|
| BackwardRuleInfGraphI
This interface collects together those operations that the backchaining
engine needs to invoke in the parent InfGraph.
|
| BindingEnvironment
Interface through which the current bound values of variables
can be found.
|
| ClauseEntry
Common interface for all objects that can go into rules.
|
| FBRuleInfGraph
An inference graph that uses a mixture of forward and backward
chaining rules.
|
| ForwardRuleInfGraphI
This interface collects together the operations on the InfGraph which
are needed to support the forward rule engine.
|
| Node_RuleVariable
A variation on the normal Node_Variable which support for value bindings.
|
| Rule
Representation of a generic inference rule.
|
| RuleContext
Interface used to convey context information from a rule engine
to the stack of procedural builtins.
|
| RulePreprocessHook
Implementors of this interface can be used as preprocessing passes
during intialization of (hybrid) rule systems.
|
Licenced under the Apache License, Version 2.0