| com.hp.hpl.jena.reasoner.rulesys.test |
|
Package documentation for com.hp.hpl.jena.datatypes
Provides testing support for the rule engines.
|
| Java Source File Name | Type | Comment |
| DebugOWL.java | Class | Test harnness for investigating OWL reasoner correctness and performance
on specific local test files. |
| DebugRules.java | Class | Using during debuging of the rule systems. |
| OWLConsistencyTest.java | Class | Utility for checking OWL validation results. |
| OWLUnitTest.java | Class | Version of the OWL unit tests used during development of the mini ruleset. |
| OWLWGTester.java | Class | A test harness for running the OWL working group tests. |
| TestBackchainer.java | Class | Test harness for the backward chainer. |
| TestBasicLP.java | Class | Early test cases for the LP version of the backward chaining system. |
| TestBasics.java | Class | Unit tests for simple infrastructure pieces of the rule systems. |
| TestBugs.java | Class | Unit tests for reported bugs in the rule system. |
| TestCapabilities.java | Class | Test harness for checking that graphs generated by the main
reasoners report the correct capabilities to things like the RDF writer. |
| TestConfigVocabulary.java | Class | |
| TestFBRules.java | Class | Test suite for the hybrid forward/backward rule system. |
| TestGenericRuleReasonerConfig.java | Class | Your eyes will bleed with the number of backslashes required in the substitute
strings. |
| TestGenericRules.java | Class | Test the packaging of all the reasoners into the GenericRuleReasoner.
The other tests check out this engine. |
| TestInferenceReification.java | Class | |
| TestLPDerivation.java | Class | Test the derivation tracing of the LP system. |
| TestLPRDFS.java | Class | Test an FB hyrid using the emerging LP engine on the basic RDFS tests. |
| TestOWLConsistency.java | Class | Test the preliminary OWL validation rules. |
| TestOWLRules.java | Class | |
| TestPackage.java | Class | Aggregate tester that runs all the test associated with the rulesys package. |
| TestRDFS9.java | Class | Test harness used in debugging some issues with execution
of modified versions of rule rdfs9. |
| TestRDFSRules.java | Class | Test suite to test the production rule version of the RDFS implementation.
The tests themselves have been replaced by an updated version
of the top level TestRDFSReasoners but this file is maintained for now since
the top level timing test can sometimes be useful. |
| TestRestrictionsDontNeedTyping.java | Class | Test that restriction inference works even when the restriction isn't given an
explicit type (ie we're not caught in a forward rule -> backward rule
layering problem). |
| TestRETE.java | Class | |
| TestSetRules.java | Class | TestSetRules - tests to bring setRules into existence on RuleReasonerFactory. |
| TestTrialOWLRules.java | Class | Test suite to test experimental versions of the OWL reasoner, not
included in the master regression test suite. |
| WebOntTestHarness.java | Class | Test harness for running the WebOnt working group tests relevant
to the OWL rule reasoner. |