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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • uk.ac.manchester.cs.jfact.AxiomTranslator (implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.ClassExpressionTranslator (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
  • uk.ac.manchester.cs.jfact.ComplexObjectPropertyTranslator
  • uk.ac.manchester.cs.jfact.DataPropertyTranslator
  • uk.ac.manchester.cs.jfact.DataRangeTranslator (implements org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<O>)
  • uk.ac.manchester.cs.jfact.DeclarationVisitorEx (implements org.semanticweb.owlapi.model.OWLEntityVisitorEx<O>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.EntailmentChecker (implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.IndividualTranslator
  • uk.ac.manchester.cs.jfact.JFactFactory (implements org.semanticweb.owlapi.reasoner.OWLReasonerFactory, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.JFactReasoner (implements org.semanticweb.owlapi.reasoner.knowledgeexploration.OWLKnowledgeExplorerReasoner, org.semanticweb.owlapi.model.OWLOntologyChangeListener, org.semanticweb.owlapi.reasoner.OWLReasoner, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.KnowledgeExplorer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.ObjectPropertyTranslator
  • uk.ac.manchester.cs.jfact.TranslationMachinery (implements java.io.Serializable)