Hierarchy For Package org.semanticweb.owl.inference

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • org.semanticweb.owl.inference.OWLReasonerAdapter (implements org.semanticweb.owl.model.OWLOntologyChangeListener, org.semanticweb.owl.inference.OWLReasoner)
    • org.semanticweb.owl.inference.MonitorableOWLReasonerAdapter (implements org.semanticweb.owl.inference.MonitorableOWLReasoner)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • org.semanticweb.owl.model.OWLException
        • org.semanticweb.owl.inference.OWLReasonerException
          • org.semanticweb.owl.inference.OWLInconsistentOntologyException
          • org.semanticweb.owl.inference.UndefinedEntityException
          • org.semanticweb.owl.inference.UnsupportedReasonerOperationException

Interface Hierarchy

• org.semanticweb.owl.inference.OWLReasonerBase
  • org.semanticweb.owl.inference.OWLConsistencyChecker
    • org.semanticweb.owl.inference.OWLReasoner (also extends org.semanticweb.owl.inference.OWLClassReasoner, org.semanticweb.owl.inference.OWLIndividualReasoner, org.semanticweb.owl.inference.OWLPropertyReasoner)
      • org.semanticweb.owl.inference.MonitorableOWLReasoner
  • org.semanticweb.owl.inference.OWLIndividualReasoner
    • org.semanticweb.owl.inference.OWLReasoner (also extends org.semanticweb.owl.inference.OWLClassReasoner, org.semanticweb.owl.inference.OWLConsistencyChecker, org.semanticweb.owl.inference.OWLPropertyReasoner)
      • org.semanticweb.owl.inference.MonitorableOWLReasoner
  • org.semanticweb.owl.inference.OWLPropertyReasoner
    • org.semanticweb.owl.inference.OWLReasoner (also extends org.semanticweb.owl.inference.OWLClassReasoner, org.semanticweb.owl.inference.OWLConsistencyChecker, org.semanticweb.owl.inference.OWLIndividualReasoner)
      • org.semanticweb.owl.inference.MonitorableOWLReasoner
  • org.semanticweb.owl.inference.OWLSatisfiabilityChecker
    • org.semanticweb.owl.inference.OWLClassReasoner
      • org.semanticweb.owl.inference.OWLReasoner (also extends org.semanticweb.owl.inference.OWLConsistencyChecker, org.semanticweb.owl.inference.OWLIndividualReasoner, org.semanticweb.owl.inference.OWLPropertyReasoner)
        • org.semanticweb.owl.inference.MonitorableOWLReasoner
• org.semanticweb.owl.inference.OWLReasonerFactory