Hierarchy For All Packages

Package Hierarchies:

• conformance,
• jfact.plugin.protege,
• uk.ac.manchester.cs.jfact,
• uk.ac.manchester.cs.jfact.datatypes,
• uk.ac.manchester.cs.jfact.dep,
• uk.ac.manchester.cs.jfact.helpers,
• uk.ac.manchester.cs.jfact.kernel,
• uk.ac.manchester.cs.jfact.kernel.actors,
• uk.ac.manchester.cs.jfact.kernel.dl,
• uk.ac.manchester.cs.jfact.kernel.dl.axioms,
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces,
• uk.ac.manchester.cs.jfact.kernel.modelcaches,
• uk.ac.manchester.cs.jfact.kernel.options,
• uk.ac.manchester.cs.jfact.kernel.state,
• uk.ac.manchester.cs.jfact.kernel.todolist,
• uk.ac.manchester.cs.jfact.kernel.voc,
• uk.ac.manchester.cs.jfact.split,
• uk.ac.manchester.cs.jfact.visitors

Class Hierarchy

• java.lang.Object
  • uk.ac.manchester.cs.jfact.datatypes.ABSTRACT_DATATYPE<R> (implements uk.ac.manchester.cs.jfact.datatypes.Datatype<R>, java.io.Serializable)
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • java.util.AbstractSequentialList<E>
        • java.util.LinkedList<E> (implements java.lang.Cloneable, java.util.Deque<E>, java.util.List<E>, java.io.Serializable)
          • uk.ac.manchester.cs.jfact.kernel.state.SaveList
  • uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExactCardinality
    • uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMaxCardinality
    • uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataMinCardinality
  • 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.dl.axioms.AbstractNaryAxiom<I> (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.AxiomInterface, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>)
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDifferentIndividuals
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointConcepts
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointDRoles
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointORoles
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDisjointUnion
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentConcepts
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentDRoles
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomFairnessConstraint
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSameIndividuals
  • org.protege.editor.owl.model.inference.AbstractProtegeOWLReasonerInfo (implements org.protege.editor.owl.model.inference.ProtegeOWLReasonerInfo)
    • jfact.plugin.protege.JFactProtegeFactory
  • uk.ac.manchester.cs.jfact.kernel.actors.ActorImpl (implements uk.ac.manchester.cs.jfact.kernel.actors.Actor, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.actors.AddRoleActor
  • uk.ac.manchester.cs.jfact.split.AOStructure (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.helpers.ArrayIntMap (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.AtomicDecomposer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.Axiom (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomConceptInclusion
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDeclaration
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomInstanceOf
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedTo
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRelatedToNot
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.Axioms
  • uk.ac.manchester.cs.jfact.kernel.AxiomSet (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleDomain
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleFunctional
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleSubsumption
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleORole
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleDomain
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleFunctional
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleRange
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomORoleSubsumption
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleAsymmetric
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverse
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleInverseFunctional
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleIrreflexive
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleReflexive
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleSymmetric
    • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomRoleTransitive
  • uk.ac.manchester.cs.jfact.AxiomTranslator (implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOf
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot
  • uk.ac.manchester.cs.jfact.kernel.CGLabel (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.ClassExpressionTranslator (implements org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx<O>)
  • uk.ac.manchester.cs.jfact.kernel.actors.ClassPolicy (implements uk.ac.manchester.cs.jfact.kernel.actors.Policy, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.ComplexObjectPropertyTranslator
  • java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
    • java.awt.Container
      • javax.swing.JComponent (implements java.io.Serializable)
        • org.protege.editor.core.ui.view.ViewComponent (implements org.protege.editor.core.plugin.ProtegePluginInstance)
          • org.protege.editor.owl.ui.view.AbstractOWLViewComponent
            • org.protege.editor.owl.ui.view.AbstractActiveOntologyViewComponent
              • org.protege.editor.owl.ui.view.ontology.AbstractOntologyRenderingViewComponent
                • jfact.plugin.protege.JFactRenderingViewComponent
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataExists (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataForall (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptDataValue (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptNot (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMaxCardinality (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectMinCardinality (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, 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.dl.DataBottom (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.DataNot (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.actors.DataPropertyPolicy (implements uk.ac.manchester.cs.jfact.kernel.actors.Policy, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.DataPropertyTranslator
  • uk.ac.manchester.cs.jfact.DataRangeTranslator (implements org.semanticweb.owlapi.model.OWLDataRangeVisitorEx<O>)
  • uk.ac.manchester.cs.jfact.kernel.dl.DataRoleBottom (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.DataRoleTop (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.DataTop (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration<R> (implements uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination<T,E>, uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>)
    • uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration<R> (implements uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R>)
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection<T> (implements uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination<T,E>)
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation<R> (implements uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation<R> (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion (implements uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination<T,E>)
  • uk.ac.manchester.cs.jfact.DeclarationVisitorEx (implements org.semanticweb.owlapi.model.OWLEntityVisitorEx<O>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.dep.DepSet (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorAdapter (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorExAdapter<A> (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx<O>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.split.ExpressionFromAxiomBuilder
  • uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState (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.state.DLCompletionTreeSaveState (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.DLDag (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.split.SigAccessor
      • uk.ac.manchester.cs.jfact.split.BotEquivalenceEvaluator (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor, java.io.Serializable)
      • uk.ac.manchester.cs.jfact.split.GeneralSyntacticLocalityChecker (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, uk.ac.manchester.cs.jfact.split.LocalityChecker)
        • uk.ac.manchester.cs.jfact.split.ExtendedSyntacticLocalityChecker
        • uk.ac.manchester.cs.jfact.split.SyntacticLocalityChecker
      • uk.ac.manchester.cs.jfact.split.TopEquivalenceEvaluator (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor)
  • uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorExAdapter<A> (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx<O>, 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.helpers.DLTree (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.helpers.DLTreeFactory (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.helpers.DLVertex
  • uk.ac.manchester.cs.jfact.EntailmentChecker (implements org.semanticweb.owlapi.model.OWLAxiomVisitorEx<O>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.ExpressionCache
  • 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.datatypes.Facets (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.helpers.FastSetFactory (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.helpers.FastSetSimple
  • uk.ac.manchester.cs.jfact.helpers.Helper (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.InAx (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.actors.IndividualPolicy (implements uk.ac.manchester.cs.jfact.kernel.actors.Policy, 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.kernel.options.JFactReasonerConfiguration (implements org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.KBFlags (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.KnowledgeExplorer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.KnownSubsumers (implements java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.ToldSubsumers
  • 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.modelcaches.ModelCacheInterface (implements java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst
    • uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheIan
    • uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheSingleton
  • uk.ac.manchester.cs.jfact.kernel.dl.NamedEntityImpl (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.ConceptName (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.DataRoleName (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.IndividualName (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleName (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.NamedEntry (implements uk.ac.manchester.cs.jfact.kernel.HasName, 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.datatypes.DatatypeEntry
    • uk.ac.manchester.cs.jfact.datatypes.LiteralEntry
  • uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection<T> (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl<A> (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.ConceptAnd (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf<I> (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.ConceptOr (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.DataAnd (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.DataOneOf (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.DataOr (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleChain (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.datatypes.NumericLiteralImpl<R> (implements uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>)
  • uk.ac.manchester.cs.jfact.kernel.actors.ObjectPropertyPolicy (implements uk.ac.manchester.cs.jfact.kernel.actors.Policy, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.ObjectPropertyTranslator
  • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleBottom (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleInverse (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionFrom (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleProjectionInto (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleTop (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.Ontology (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.OntologyBasedModularizer (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.helpers.Pair (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.todolist.QueueQueue (implements 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.helpers.Reference<E> (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.actors.RIActor (implements uk.ac.manchester.cs.jfact.kernel.actors.Actor, 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.helpers.SaveStack<T> (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.SaveStackRare (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.state.SaveState (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.SemanticLocalityChecker (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, uk.ac.manchester.cs.jfact.split.LocalityChecker, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.SigIndex (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.SplitVarEntry (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.helpers.Stats (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.helpers.Stats.AccumulatedStatistic (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.actors.SupConceptActor (implements uk.ac.manchester.cs.jfact.kernel.actors.Actor, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.Taxonomy (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor<T> (implements uk.ac.manchester.cs.jfact.kernel.actors.Actor, 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
            • org.semanticweb.owlapi.reasoner.ReasonerInternalException
              • uk.ac.manchester.cs.jfact.helpers.UnreachableSituationException
  • uk.ac.manchester.cs.jfact.helpers.Timer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.TModularizer (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.todolist.ToDoEntry (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.todolist.ToDoList (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.todolist.TODOListSaveState (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.todolist.ToDoPriorMatrix (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.TOntologyAtom (implements java.lang.Comparable<T>, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.TranslationMachinery (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.TSignature (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.split.TSignatureUpdater (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, java.io.Serializable)
  • uk.ac.manchester.cs.jfact.datatypes.Utils (implements java.io.Serializable)
  • uk.ac.manchester.cs.jfact.kernel.voc.Vocabulary (implements java.io.Serializable)

Interface Hierarchy

• uk.ac.manchester.cs.jfact.kernel.actors.Actor
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces.AxiomInterface
• java.lang.Comparable<T>
  • uk.ac.manchester.cs.jfact.datatypes.Literal<T> (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression)
    • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
  • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
• uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination<T,E>
• uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor
• uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx<O>
• uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor
• uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorEx<O>
• uk.ac.manchester.cs.jfact.datatypes.Facet
• uk.ac.manchester.cs.jfact.helpers.FastSet
• uk.ac.manchester.cs.jfact.kernel.HasName
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression
    • uk.ac.manchester.cs.jfact.datatypes.Datatype<R>
      • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
      • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
    • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
    • uk.ac.manchester.cs.jfact.datatypes.Literal<T> (also extends java.lang.Comparable<T>)
      • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
    • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.Datatype<R>, uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
    • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression
  • uk.ac.manchester.cs.jfact.datatypes.Datatype<R>
    • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
    • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Entity
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression
      • uk.ac.manchester.cs.jfact.datatypes.Datatype<R>
        • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
        • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
      • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
      • uk.ac.manchester.cs.jfact.datatypes.Literal<T> (also extends java.lang.Comparable<T>)
        • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
      • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.Datatype<R>, uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
      • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression
    • uk.ac.manchester.cs.jfact.datatypes.Datatype<R>
      • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
      • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
    • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
            • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg)
            • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression
        • uk.ac.manchester.cs.jfact.datatypes.Datatype<R>
          • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
          • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
        • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
        • uk.ac.manchester.cs.jfact.datatypes.Literal<T> (also extends java.lang.Comparable<T>)
          • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
        • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.Datatype<R>, uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
        • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression
      • uk.ac.manchester.cs.jfact.datatypes.Datatype<R>
        • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
        • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
      • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression
      • uk.ac.manchester.cs.jfact.datatypes.Literal<T> (also extends java.lang.Comparable<T>, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression)
        • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
      • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.Datatype<R>, uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
      • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.RoleExpression
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression
    • uk.ac.manchester.cs.jfact.datatypes.Literal<T> (also extends java.lang.Comparable<T>, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression)
      • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
    • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.Datatype<R>, uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
    • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.RoleExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRoleExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpressionArg<T>)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg)
          • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg)
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression
      • uk.ac.manchester.cs.jfact.datatypes.Datatype<R>
        • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
        • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
      • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
      • uk.ac.manchester.cs.jfact.datatypes.Literal<T> (also extends java.lang.Comparable<T>)
        • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
      • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.Datatype<R>, uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
      • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression
    • uk.ac.manchester.cs.jfact.datatypes.Datatype<R>
      • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
      • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
    • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<R>
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression
    • uk.ac.manchester.cs.jfact.datatypes.Literal<T> (also extends java.lang.Comparable<T>, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression)
      • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
    • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.Datatype<R>, uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
    • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.RoleExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression
        • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression
  • uk.ac.manchester.cs.jfact.datatypes.Literal<T> (also extends java.lang.Comparable<T>, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression)
    • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity
  • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.Datatype<R>, uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>)
  • uk.ac.manchester.cs.jfact.datatypes.NumericLiteral<R>
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.RoleExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression
• uk.ac.manchester.cs.jfact.split.LocalityChecker
• uk.ac.manchester.cs.jfact.helpers.LogAdapter
• uk.ac.manchester.cs.jfact.kernel.NameCreator<T,K>
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<A>
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptDataRVExpression)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression)
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleArg
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
    • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptArg)
      • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectCardinalityExpression (also extends uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NumberArg)
• uk.ac.manchester.cs.jfact.datatypes.OrderedDatatype<R>
  • uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R> (also extends uk.ac.manchester.cs.jfact.datatypes.Datatype<R>)
• uk.ac.manchester.cs.jfact.kernel.actors.Policy

Annotation Type Hierarchy

• conformance.PortedFrom (implements java.lang.annotation.Annotation)
• conformance.Original (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • uk.ac.manchester.cs.jfact.datatypes.ordered
    • uk.ac.manchester.cs.jfact.datatypes.Facets.whitespace
    • uk.ac.manchester.cs.jfact.datatypes.DatatypeClashes
    • uk.ac.manchester.cs.jfact.datatypes.cardinality
    • uk.ac.manchester.cs.jfact.helpers.Templates
    • uk.ac.manchester.cs.jfact.helpers.StatIndex
    • 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
    • uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheType
    • uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheState
    • uk.ac.manchester.cs.jfact.split.ModuleType