Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package uk.ac.man.cs.img.owl.inference.dl

Interface Summary
ReasonerProxy | ReasonerProxy.java Created: Fri May 16 17:04:23 2003

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.

Exception Summary

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

WonderWeb