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)
      • java.util.LinkedHashMap<K,V> (implements java.util.Map<K,V>)
        • uk.ac.manchester.cs.jfact.kernel.NameSet<T,K>
  • uk.ac.manchester.cs.jfact.kernel.Axiom (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.AxiomSet (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.CGLabel (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.ConceptWDep (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.CWDArray (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.DlCompletionTree (implements java.lang.Comparable<T>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.DlCompletionTreeArc (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.DLDag (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.DlSatTester (implements java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.NominalReasoner
  • uk.ac.manchester.cs.jfact.kernel.ExpressionCache (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.ExpressionManager (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx<O>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.InAx (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.KBFlags (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.Lexeme (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.LogicFeatures (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.MergableLabel (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.NamedEntry (implements org.semanticweb.owlapi.model.HasIRI, java.io.Serializable)
    • 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> (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.Ontology (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.OntologyLoader (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.RAStateTransitions (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.RATransition (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.ReasoningKernel (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.Related (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.Restorer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.RoleAutomaton (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.RoleMaster (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.SaveStackRare (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.Taxonomy (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.TaxonomyCreator (implements java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy
  • uk.ac.manchester.cs.jfact.kernel.TaxonomyVertex (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.TBox (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.TDag2Interface (implements java.io.Serializable)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • org.semanticweb.owlapi.model.OWLRuntimeException (implements java.io.Serializable)
          • org.semanticweb.owlapi.reasoner.OWLReasonerRuntimeException
            • uk.ac.manchester.cs.jfact.kernel.ReasonerFreshEntityException
  • uk.ac.manchester.cs.jfact.kernel.ToldSubsumers (implements uk.ac.manchester.cs.jfact.kernel.KnownSubsumers)

Interface Hierarchy

• java.io.Serializable
  • uk.ac.manchester.cs.jfact.kernel.KnownSubsumers

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
    • uk.ac.manchester.cs.jfact.kernel.AbsorptionActions