| Package | Description |
|---|---|
| com.hp.hpl.jena.assembler | |
| com.hp.hpl.jena.reasoner |
The Jena2 reasoner subsystem is designed to allow a range of inference
engines to be plugged into Jena.
|
| com.hp.hpl.jena.reasoner.rulesys |
Provides a selection of simple rule engines for Jena inference models.
|
| com.hp.hpl.jena.reasoner.rulesys.builtins |
Implementations of the Builtin class which provides primitive operations to the rule
engines.
|
| jena |
A package for some Jena command-line programs, including
copying RDF data with representation conversion, eg XML to N3
comparing two RDF files for isomorphism (extended equality)
an interface to the ARP RDF parser
access to the RDQL interpreter
a schema-to-Java generator
|
| 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
A registry for mapping functor names on java objects (instances
of subclasses of Builtin) which implement their behvaiour.
|
| 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 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.
|
| 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 |
|---|
| Rule
Representation of a generic inference rule.
|
Licenced under the Apache License, Version 2.0