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