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

## 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

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

WonderWeb