| com.hp.hpl.jena.reasoner.rulesys.impl.oldCode |
|
Package documentation for com.hp.hpl.jena.reasoner.rulesys.impl.attic
Contains code which has been obsoleted by new versions of the rule engines but
which is being retained temporarily during the transition phase.
In particular it contains the components of the original tabled backward
chaining engine that have been replaced by the LP (SLG-WAM style) engine.
|
| Java Source File Name | Type | Comment |
| BasicBackwardRuleInfGraph.java | Class | An inference graph that runs a set of rules using a tabled
backward chaining interpreter. |
| BasicBackwardRuleReasoner.java | Class | Reasoner implementation which augments or transforms an RDF graph
according to a set of rules. |
| BRuleEngine.java | Class | Part of the backward chaining rule interpreter. |
| FBLPRuleInfGraph.java | Class | An inference graph that uses a mixture of forward and backward
chaining rules. |
| FBLPRuleReasoner.java | Class | Rule-based reasoner interface. |
| GoalResults.java | Class | Part of the backward chaining rule interpreter. |
| GoalState.java | Class | Represents the state in a traversal of all the solutions of a
given goal. |
| GoalTable.java | Class | Part of the backwared chaining rule interpreter. |
| OrigFBRuleInfGraph.java | Class | An inference graph that uses a mixture of forward and backward
chaining rules. |
| OWLExptRuleReasoner.java | Class | A hybrid forward/backward implementation of the OWL closure rules - experimental variant. |
| OWLExptRuleReasonerFactory.java | Class | Experimental change to the OWL hybrid rule reasoner.
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). |
| OWLRuleReasoner.java | Class | |
| OWLRuleReasonerFactory.java | Class | |
| RuleInstance.java | Class | Part of the backward chaining rule interpreter. |
| RuleState.java | Class | Part of the backward chaining rule interpreter. |
| TestTrail.java | Class | Test harness for the prototype binding trail implementation. |
| TopGoalIterator.java | Class | Wraps up the backward chaining engine as an iterator-like object that can be
used in InfGraphs to implement a "find" operation. |
| Trail.java | Class | Representation of a trail of variable bindings. |