Package com.hp.hpl.jena.reasoner.rulesys

Provides a selection of simple rule engines for Jena inference models.

See:
Description

Interface Summary

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.
Builtin	Rules employ builtins to do all tests and actions other than simple triple matches and triple creation.
ClauseEntry	Common interface for all objects that can go into rules.
ForwardRuleInfGraphI	This interface collects together the operations on the InfGraph which are needed to support the forward rule engine.
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 proprocessing 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.
RuleReasonerFactory	RuleReasonerFactory - a ReasonerFactory interface which allows rules to be set up to be installed into each reasoner this factory produces.
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 Summary

BasicFBReifier
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.
BasicForwardRuleReasoner	Reasoner implementation which augments or transforms an RDF graph according to a set of rules.
BuiltinRegistry	A registry for mapping functor names on java objects (instances of subclasses of Builtin) which implement their behvaiour.
DAMLMicroReasoner	We do not support DAML inference.
DAMLMicroReasonerFactory	We do not support DAML inference.
FBRuleInfGraph	An inference graph that uses a mixture of forward and backward chaining rules.
FBRuleInfGraph.RuleStore	Structure used to wrap up pre-processed/compiled rule sets.
FBRuleReasoner	Rule-based reasoner interface.
Functor	A functor comprises a functor name and a list of arguments.
Functor.FunctorDatatype	Inner class.
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.
LPBackwardRuleInfGraph	Inference graph for accessing the LP version of the backward chaining rule engine.
LPBackwardRuleReasoner	Reasoner implementation which augments or transforms an RDF graph according to a set of rules.
Node_RuleVariable	A variation on the normal Node_Variable which support for value bindings.
OWLFBRuleReasoner	A hybrid forward/backward implementation of the OWL closure rules.
OWLFBRuleReasonerFactory	Factory class for creating blank instances of the OWL Reasoner.
OWLMicroReasoner	Reasoner configuration for the OWL micro reasoner.
OWLMicroReasonerFactory	Reasoner factory for the OWL micro configuration.
OWLMiniReasoner	Reasoner configuration for the OWL mini reasoner.
OWLMiniReasonerFactory	Reasoner factory for the OWL mini configuration.
RDFSFBRuleReasoner	A backward chaining implementation of the RDFS closure rules based upon the basic backward rule interpreter.
RDFSFBRuleReasonerFactory	Factory class for creating blank instances of the hybrid rule RDFS reasoner.
RDFSForwardRuleReasoner	A pure forward chaining implementation of the RDFS closure rules based upon the basic forward rule interpreter.
RDFSRuleInfGraph	Customization of the generic rule inference graph for RDFS inference.
RDFSRuleReasoner	A full implemention of RDFS reasoning using a hybrid rule system, together with optimized subclass/subproperty closure using the transitive graph caches.
RDFSRuleReasonerFactory	Factory class for creating blank instances of the hybrid rule RDFS reasoner with TGC support.
RETERuleInfGraph	RETE implementation of the forward rule infernce graph.
Rule	Representation of a generic inference rule.
Rule.Parser	Inner class which provides minimalist parsing support based on tokenisation with depth 1 lookahead.
RuleDerivation	Derivation records are used to determine how an inferred triple was derived from a set of source triples and a reasoner.
Util	A small random collection of utility functions used by the rule systems.

Exception Summary

BuiltinException	Exceptions thrown by runtime errors in exceuting rule system builtin operations.
Rule.ParserException	Inner class.

Package com.hp.hpl.jena.reasoner.rulesys Description

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.