| com.hp.hpl.jena.reasoner.rulesys.test.TestOWLConsistency
| TestOWLConsistency | | public class TestOWLConsistency extends TestCase (Code) | | Test the preliminary OWL validation rules.
author:
Dave Reynolds
version:
$Revision: 1.9 $ on $Date: 2008/01/02 12:08:19 $ |
| reasonerCache | | public static Reasoner reasonerCache(Code) | | A cached copy of the bound reasoner
|
| testTbox | | final public static String testTbox(Code) | | The tbox/ontology file to test against sample data
|
| TestOWLConsistency | | public TestOWLConsistency(String name)(Code) | | Boilerplate for junit
|
| makeReasoner | | public Reasoner makeReasoner()(Code) | | Create, or retrieve from cache, an OWL reasoner already bound
to the test tbox.
|
| suite | | public static TestSuite suite()(Code) | | Boilerplate for junit.
This is its own test suite
|
| testConsistent | | public void testConsistent()(Code) | | Should be consistent.
|
| testInconsistent1 | | public void testInconsistent1()(Code) | | Should find problem due to overlap of disjoint classes.
|
| testInconsistent2 | | public void testInconsistent2()(Code) | | Should find problem due to type violations
|
| testInconsistent3 | | public void testInconsistent3()(Code) | | Should find problem due to count violations
|
| testInconsistent4 | | public void testInconsistent4()(Code) | | Should find distinct values for a functional property
|
| testInconsistent5 | | public void testInconsistent5()(Code) | | Should find type clash due to allValuesFrom rdfs:Literal
|
| testInconsistent7 | | public void testInconsistent7()(Code) | | Should find distinct literal values for a functional property
via an indirect sameAs
|
|
|