Hierarchy For Package uk.ac.man.cs.img.owl.inference.dl

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class org.semanticweb.owl.model.change.ChangeVisitorAdapter (implements org.semanticweb.owl.model.change.ChangeVisitor)
    • class uk.ac.man.cs.img.owl.inference.dl.OntologyChangeConverter
  • class uk.ac.man.cs.img.owl.inference.dl.FaCTConverter
  • class uk.ac.man.cs.img.owl.inference.dl.RACERConsistencyChecker (implements org.semanticweb.owl.inference.OWLConsistencyChecker, uk.ac.man.cs.img.owl.inference.dl.ReasonerProxy)
  • class uk.ac.man.cs.img.owl.inference.dl.SimpleOWLReasoner (implements org.semanticweb.owl.model.change.OntologyChangeListener, org.semanticweb.owl.inference.OWLClassReasoner, org.semanticweb.owl.inference.OWLIndividualReasoner, uk.ac.man.cs.img.owl.inference.dl.ReasonerProxy)
  • class uk.ac.man.cs.img.owl.inference.dl.SimpleOWLTaxonomyReasoner (implements org.semanticweb.owl.inference.OWLTaxonomyReasoner)
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Exception
      • class org.semanticweb.owl.model.OWLException
        • class uk.ac.man.cs.img.owl.inference.dl.RACERConsistencyChecker.ExpressivenessOutOfScopeException
        • class uk.ac.man.cs.img.owl.inference.dl.SimpleOWLReasoner.ExpressivenessOutOfScopeException

Interface Hierarchy

• interface uk.ac.man.cs.img.owl.inference.dl.ReasonerProxy