|
|||||||||
| Home >> All >> com >> hp >> hpl >> jena >> reasoner >> rulesys >> [ test overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||
Package com.hp.hpl.jena.reasoner.rulesys.test
Provides a selection of simple rule engines for Jena inference models.
See:
Description
| Class Summary | |
| DebugOWL | Test harnness for investigating OWL reasoner correctness and performance on specific local test files. |
| DebugRules | Using during debuging of the rule systems. |
| OWLConsistencyTest | Utility for checking OWL validation results. |
| OWLUnitTest | Version of the OWL unit tests used during development of the mini ruleset. |
| OWLUnitTest.TestDef | Inner class - use to represent a single test case and which reasoners it is relevant to. |
| OWLWGTester | A test harness for running the OWL working group tests. |
| TestBackchainer | Test harness for the backward chainer. |
| TestBasicLP | Early test cases for the LP version of the backward chaining system. |
| TestBasics | Unit tests for simple infrastructure pieces of the rule systems. |
| TestBugs | Unit tests for reported bugs in the rule system. |
| TestCapabilities | Test harness for checking that graphs generated by the main reasoners report the correct capabilities to things like the RDF writer. |
| TestFBRules | Test suite for the hybrid forward/backward rule system. |
| TestGenericRules | Test the packaging of all the reasoners into the GenericRuleReasoner. |
| TestLPRDFS | Test an FB hyrid using the emerging LP engine on the basic RDFS tests. |
| TestOWLConsistency | Test the preliminary OWL validation rules. |
| TestOWLRules | Test suite to test the production rule version of the OWL reasoner |
| TestOWLRules.DelayTest | Dummy test which just delays for 2s |
| TestPackage | Aggregate tester that runs all the test associated with the rulesys package. |
| TestRDFS9 | Test harness used in debugging some issues with execution of modified versions of rule rdfs9. |
| TestRDFSRules | Test suite to test the production rule version of the RDFS implementation. |
| TestRETE | |
| TestRETE.RETETestNode | Inner class usable as a dummy RETENode end point for testing. |
| TestSetRules | TestSetRules - tests to bring setRules into existence on RuleReasonerFactory. |
| TestSetRules.MockFactory | |
| TestTrialOWLRules | Test suite to test experimental versions of the OWL reasoner, not included in the master regression test suite. |
| WebOntTestHarness | Test harness for running the WebOnt working group tests relevant to the OWL rule reasoner. |
Package com.hp.hpl.jena.reasoner.rulesys.test 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.
|
|||||||||
| Home >> All >> com >> hp >> hpl >> jena >> reasoner >> rulesys >> [ test overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||