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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • java.util.HashMap<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
      • uk.ac.manchester.cs.jfact.kernel.NameSet<T>
  • uk.ac.manchester.cs.jfact.kernel.Axiom
  • uk.ac.manchester.cs.jfact.kernel.AxiomSet
  • uk.ac.manchester.cs.jfact.kernel.CGLabel
  • uk.ac.manchester.cs.jfact.kernel.ConceptWDep
  • uk.ac.manchester.cs.jfact.kernel.CWDArray
  • uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
  • uk.ac.manchester.cs.jfact.kernel.DlCompletionTree (implements java.lang.Comparable<T>)
  • uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc
  • uk.ac.manchester.cs.jfact.kernel.DLDag
  • uk.ac.manchester.cs.jfact.kernel.DlSatTester
    • uk.ac.manchester.cs.jfact.kernel.NominalReasoner
  • uk.ac.manchester.cs.jfact.kernel.ExpressionManager
  • uk.ac.manchester.cs.jfact.kernel.ExpressionManager.ConceptNameCreator (implements uk.ac.manchester.cs.jfact.kernel.NameCreator<T>)
  • uk.ac.manchester.cs.jfact.kernel.ExpressionManager.DataroleNameCreator (implements uk.ac.manchester.cs.jfact.kernel.NameCreator<T>)
  • uk.ac.manchester.cs.jfact.kernel.ExpressionManager.IndividualNameCreator (implements uk.ac.manchester.cs.jfact.kernel.NameCreator<T>)
  • uk.ac.manchester.cs.jfact.kernel.ExpressionManager.InverseRoleCache
  • uk.ac.manchester.cs.jfact.kernel.ExpressionManager.ObjectroleNameCreator (implements uk.ac.manchester.cs.jfact.kernel.NameCreator<T>)
  • uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx<O>)
  • uk.ac.manchester.cs.jfact.kernel.InAx
  • uk.ac.manchester.cs.jfact.kernel.KBFlags
  • uk.ac.manchester.cs.jfact.kernel.Lexeme
  • uk.ac.manchester.cs.jfact.kernel.LogicFeatures
  • uk.ac.manchester.cs.jfact.kernel.MergableLabel
  • uk.ac.manchester.cs.jfact.kernel.NamedEntry
    • uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry
      • uk.ac.manchester.cs.jfact.kernel.Concept
        • uk.ac.manchester.cs.jfact.kernel.Individual
      • uk.ac.manchester.cs.jfact.kernel.Role
  • uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection<T>
  • uk.ac.manchester.cs.jfact.kernel.Ontology
  • uk.ac.manchester.cs.jfact.kernel.OntologyLoader (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor)
  • uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
  • uk.ac.manchester.cs.jfact.kernel.RATransition
  • uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
  • uk.ac.manchester.cs.jfact.kernel.Related
  • uk.ac.manchester.cs.jfact.kernel.Restorer
  • uk.ac.manchester.cs.jfact.kernel.RoleAutomaton
  • uk.ac.manchester.cs.jfact.kernel.RoleMaster
  • uk.ac.manchester.cs.jfact.kernel.RoleMaster.RoleCreator (implements uk.ac.manchester.cs.jfact.kernel.NameCreator<T>)
  • uk.ac.manchester.cs.jfact.kernel.Taxonomy
    • uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy
  • uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex
  • uk.ac.manchester.cs.jfact.kernel.TBox
  • uk.ac.manchester.cs.jfact.kernel.TDag2Interface
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • org.semanticweb.owlapi.model.OWLRuntimeException
          • org.semanticweb.owlapi.reasoner.OWLReasonerRuntimeException
            • uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException
  • uk.ac.manchester.cs.jfact.kernel.ToDoList
  • uk.ac.manchester.cs.jfact.kernel.ToDoList.ToDoEntry

Interface Hierarchy

• uk.ac.manchester.cs.jfact.kernel.NameCreator<T>

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.Token
    • uk.ac.manchester.cs.jfact.kernel.KBStatus
    • uk.ac.manchester.cs.jfact.kernel.DagTag
    • uk.ac.manchester.cs.jfact.kernel.Concept.CTTag
    • uk.ac.manchester.cs.jfact.kernel.AddConceptResult