|
Interfaces
MonitorableOWLReasoner OWLClassReasoner OWLConsistencyChecker OWLIndividualReasoner OWLPropertyReasoner OWLReasoner OWLReasonerBase OWLReasonerFactory OWLSatisfiabilityChecker |
|
Classes
MonitorableOWLReasonerAdapter OWLReasonerAdapter |
|
Exceptions
OWLInconsistentOntologyException OWLReasonerException UndefinedEntityException UnsupportedReasonerOperationException |