| com.hp.hpl.jena.reasoner.rulesys |
|
Package documentation for com.hp.hpl.jena.reasoner.rulesys
Provides a selection of simple rule engines for Jena inference models.
Currently this includes a simple forward chaining engine (BasicForwardRuleReasoner).
This is currently a pure interpreter (no RETE network) with an extensible set
of Builtin actions (see Builtin).
We include two example reasoners built using this rule engine. The first is
an alternative RDFS implementation (RDFSRuleReasonerFactory) which implements the
full RDFS rule set forward style.
The second is an implementation of the OWL-lite subset of OWL-full (OWLRuleReasonerFactory).
This omits some of the RDFS entailments (everything is a Resource, every Class is a
subclass of Resource) because those conclusions are general not that useful and
lead to rather a lot of pointless deductions in forward chaining mode.
|
| Java Source File Name | Type | Comment |
| BackwardRuleInfGraphI.java | Interface | This interface collects together those operations that the backchaining
engine needs to invoke in the parent InfGraph. |
| BasicFBReifier.java | Class | |
| BasicForwardRuleInfGraph.java | Class | An inference graph interface that runs a set of forward chaining
rules to conclusion on each added triple and stores the entire
result set.
This implementation has a horribly inefficient rule chainer built in.
Once we have this working generalize this to an interface than
can call out to a rule engine and build a real rule engine (e.g. |
| BasicForwardRuleReasoner.java | Class | Reasoner implementation which augments or transforms an RDF graph
according to a set of rules. |
| BindingEnvironment.java | Interface | Interface through which the current bound values of variables
can be found. |
| Builtin.java | Interface | Rules employ builtins to do all tests and actions other than simple triple
matches and triple creation. |
| BuiltinException.java | Class | Exceptions thrown by runtime errors in exceuting rule system
builtin operations. |
| BuiltinRegistry.java | Class | A registry for mapping functor names on java objects (instances
of subclasses of Builtin) which implement their behvaiour. |
| ClauseEntry.java | Interface | Common interface for all objects that can go into rules. |
| DAMLMicroReasoner.java | Class | We do not support DAML inference. |
| DAMLMicroReasonerFactory.java | Class | We do not support DAML inference. |
| FBRuleInfGraph.java | Class | An inference graph that uses a mixture of forward and backward
chaining rules. |
| FBRuleReasoner.java | Class | Rule-based reasoner interface. |
| ForwardRuleInfGraphI.java | Interface | This interface collects together the operations on the InfGraph which
are needed to support the forward rule engine. |
| Functor.java | Class | A functor comprises a functor name and a list of
arguments. |
| GenericRuleReasoner.java | Class | A reasoner interface that is able to invoke any of the useful
rule engine combinations. |
| GenericRuleReasonerFactory.java | Class | Factory object for creating general rule reasoner instances. |
| LPBackwardRuleInfGraph.java | Class | Inference graph for accessing the LP version of the backward chaining
rule engine. |
| LPBackwardRuleReasoner.java | Class | Reasoner implementation which augments or transforms an RDF graph
according to a set of rules. |
| Node_RuleVariable.java | Class | A variation on the normal Node_Variable which support for value bindings.
Currently the forward rule system stores the values externally but requires
variables to have an offset index in the rule environment vector. |
| OWLFBRuleReasoner.java | Class | A hybrid forward/backward implementation of the OWL closure rules. |
| OWLFBRuleReasonerFactory.java | Class | Factory class for creating blank instances of the OWL Reasoner.
The reasoner can be configured using three properties (set as
properties of the base reasonder URI in a configuration model). |
| OWLMicroReasoner.java | Class | Reasoner configuration for the OWL micro reasoner. |
| OWLMicroReasonerFactory.java | Class | Reasoner factory for the OWL micro configuration. |
| OWLMiniReasoner.java | Class | Reasoner configuration for the OWL mini reasoner. |
| OWLMiniReasonerFactory.java | Class | Reasoner factory for the OWL mini configuration. |
| RDFSFBRuleReasoner.java | Class | A backward chaining implementation of the RDFS closure rules
based upon the basic backward rule interpreter. |
| RDFSFBRuleReasonerFactory.java | Class | Factory class for creating blank instances of the hybrid rule RDFS reasoner. |
| RDFSForwardRuleReasoner.java | Class | A pure forward chaining implementation of the RDFS closure rules
based upon the basic forward rule interpreter. |
| RDFSRuleInfGraph.java | Class | Customization of the generic rule inference graph for RDFS inference. |
| RDFSRuleReasoner.java | Class | A full implemention of RDFS reasoning using a hybrid rule system, together
with optimized subclass/subproperty closure using the transitive graph caches.
Implements the container membership property rules using an optional
data scanning hook. |
| RDFSRuleReasonerFactory.java | Class | Factory class for creating blank instances of the hybrid rule RDFS reasoner
with TGC support. |
| RETERuleInfGraph.java | Class | RETE implementation of the forward rule infernce graph. |
| Rule.java | Class | Representation of a generic inference rule. |
| RuleContext.java | Interface | Interface used to convey context information from a rule engine
to the stack of procedural builtins. |
| RuleDerivation.java | Class | Derivation records are used to determine how an inferred triple
was derived from a set of source triples and a reasoner. |
| RulePreprocessHook.java | Interface | Implementors of this interface can be used as proprocessing passes
during intialization of (hybrid) rule systems. |
| RuleReasoner.java | Interface | 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. |
| RuleReasonerFactory.java | Interface | RuleReasonerFactory - a ReasonerFactory interface which allows rules
to be set up to be installed into each reasoner this factory produces. |
| SilentAddI.java | Interface | Interface supported by each of the rule system interpreters that
allow triples to added directly to the deductions cache, by-passing
any processing machinery. |
| Util.java | Class | A small random collection of utility functions used by the rule systems. |