Hierarchy For Package uk.ac.manchester.cs.jfact

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • uk.ac.manchester.cs.jfact.JFactFactory (implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory)
  • uk.ac.manchester.cs.jfact.JFactReasoner (implements org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.OWLReasoner)
  • uk.ac.manchester.cs.jfact.TranslationMachinery
  • uk.ac.manchester.cs.jfact.TranslationMachinery.DeclarationVisitorEx (implements org.semanticweb.owlapi.model.OWLEntityVisitorEx<O>)
  • uk.ac.manchester.cs.jfact.TranslationMachinery.EntailmentChecker (implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>)