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

## Hierarchy For Package uk.ac.man.cs.img.owl.inference.firstorder

Package Hierarchies:
  All Packages

## Class Hierarchy

- class java.lang.Object
  - class uk.ac.man.cs.img.owl.inference.firstorder.ConsistencyChecker (implements org.semanticweb.owl.inference.OWLConsistencyChecker)
  - class uk.ac.man.cs.img.owl.inference.firstorder.TPTPConverter

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

WonderWeb