|
Class Summary |
| FaCTConverter |
Given the URL of the manifest of an OWL Test, attempts to produce
a FaCT++ file that can be used to verify the test. |
| OntologyChangeConverter |
A change visitor adapter that will take any ontology addition and
produce the appropriate DIG messages to represent that change. |
| RACERConsistencyChecker |
An OWL reasoner that uses a DIG reasoner to do the work. |
| SimpleOWLReasoner |
An OWL reasoner that uses a DIG reasoner to do the work. |
| SimpleOWLTaxonomyReasoner |
A Taxonomy reasoner that relies on a DIG reasoner to do its reasoning. |