Hierarchy For All Packages

Package Hierarchies:

• conformance,
• uk.ac.manchester.cs.jfact,
• uk.ac.manchester.cs.jfact.datatypes,
• uk.ac.manchester.cs.jfact.dep,
• uk.ac.manchester.cs.jfact.elf,
• 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.queryobjects,
• uk.ac.manchester.cs.jfact.kernel.state,
• uk.ac.manchester.cs.jfact.kernel.voc,
• uk.ac.manchester.cs.jfact.split,
• uk.ac.manchester.cs.jfact.visitors

Class Hierarchy

• java.lang.Object
  • 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)
    • 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)
      • uk.ac.manchester.cs.jfact.kernel.NameSet<T>
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom<I> (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Axiom, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<Argument>)
    • 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
  • uk.ac.manchester.cs.jfact.kernel.actors.AddRoleActor (implements uk.ac.manchester.cs.jfact.kernel.actors.Actor)
  • uk.ac.manchester.cs.jfact.split.AOStructure
  • uk.ac.manchester.cs.jfact.helpers.ArrayIntMap
  • uk.ac.manchester.cs.jfact.split.AtomicDecomposer
  • uk.ac.manchester.cs.jfact.kernel.Axiom
  • 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.AxiomSet
  • 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.kernel.dl.axioms.AxiomValueOf
  • uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomValueOfNot
  • uk.ac.manchester.cs.jfact.elf.CAddFillerRule
  • uk.ac.manchester.cs.jfact.elf.CAndSubRule
  • uk.ac.manchester.cs.jfact.elf.CExistSubRule
  • uk.ac.manchester.cs.jfact.kernel.CGLabel
  • uk.ac.manchester.cs.jfact.kernel.actors.ClassPolicy (implements uk.ac.manchester.cs.jfact.kernel.actors.Policy)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptBottom (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression)
  • 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)
  • 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)
  • 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>)
  • 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)
  • 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)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExists (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectForall (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRCExpression)
  • 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)
  • 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)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectSelf (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectValue (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptObjectRoleExpression)
  • uk.ac.manchester.cs.jfact.kernel.dl.ConceptTop (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression)
  • uk.ac.manchester.cs.jfact.kernel.ConceptWDep
  • uk.ac.manchester.cs.jfact.elf.CSubRule
  • uk.ac.manchester.cs.jfact.kernel.CWDArray
  • uk.ac.manchester.cs.jfact.kernel.dl.DataBottom (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression)
  • 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>)
  • uk.ac.manchester.cs.jfact.kernel.actors.DataPropertyPolicy (implements uk.ac.manchester.cs.jfact.kernel.actors.Policy)
  • uk.ac.manchester.cs.jfact.kernel.dl.DataRoleBottom (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression)
  • uk.ac.manchester.cs.jfact.kernel.dl.DataRoleTop (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataRoleExpression)
  • uk.ac.manchester.cs.jfact.kernel.dl.DataTop (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.DataExpression)
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeEnumeration<R> (implements uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination<Type,Element>, uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<Representation>)
    • uk.ac.manchester.cs.jfact.datatypes.DatatypeNumericEnumeration<R> (implements uk.ac.manchester.cs.jfact.datatypes.NumericDatatype<R>)
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeFactory
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeIntersection<T> (implements uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination<Type,Element>)
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeNegation<R> (implements uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<Representation>)
  • uk.ac.manchester.cs.jfact.datatypes.DataTypeReasoner
  • uk.ac.manchester.cs.jfact.datatypes.DataTypeSituation<R>
  • uk.ac.manchester.cs.jfact.datatypes.DatatypeUnion (implements uk.ac.manchester.cs.jfact.datatypes.DatatypeCombination<Type,Element>)
  • uk.ac.manchester.cs.jfact.dep.DepSet
  • uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorAdapter (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor)
    • uk.ac.manchester.cs.jfact.elf.ELFAxiomChecker
    • uk.ac.manchester.cs.jfact.elf.ELFNormalizer
  • uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorExAdapter<A> (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorEx<O>)
  • uk.ac.manchester.cs.jfact.kernel.DlCompletionGraph
  • uk.ac.manchester.cs.jfact.kernel.state.DLCompletionGraphSaveState
  • 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.state.DLCompletionTreeSaveState
  • uk.ac.manchester.cs.jfact.kernel.DLDag
  • uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitorAdapter (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor)
    • uk.ac.manchester.cs.jfact.split.SigAccessor
      • uk.ac.manchester.cs.jfact.split.BotEquivalenceEvaluator (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor)
      • uk.ac.manchester.cs.jfact.split.SyntacticLocalityChecker (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, uk.ac.manchester.cs.jfact.split.LocalityChecker)
      • 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>)
  • uk.ac.manchester.cs.jfact.kernel.DlSatTester
    • uk.ac.manchester.cs.jfact.kernel.NominalReasoner
  • uk.ac.manchester.cs.jfact.helpers.DLTree
  • uk.ac.manchester.cs.jfact.helpers.DLTreeFactory
  • uk.ac.manchester.cs.jfact.helpers.DLVertex
  • uk.ac.manchester.cs.jfact.elf.ELFExpressionChecker (implements uk.ac.manchester.cs.jfact.visitors.DLExpressionVisitor)
  • uk.ac.manchester.cs.jfact.elf.ELFReasoner
  • 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.datatypes.Facets
  • uk.ac.manchester.cs.jfact.helpers.FastSetFactory
  • uk.ac.manchester.cs.jfact.helpers.FastSetSimple
  • uk.ac.manchester.cs.jfact.helpers.Helper
  • uk.ac.manchester.cs.jfact.kernel.InAx
  • uk.ac.manchester.cs.jfact.kernel.actors.IndividualPolicy (implements uk.ac.manchester.cs.jfact.kernel.actors.Policy)
  • uk.ac.manchester.cs.jfact.helpers.IntCache
  • uk.ac.manchester.cs.jfact.helpers.IntList
  • uk.ac.manchester.cs.jfact.helpers.IntMap<V>
  • uk.ac.manchester.cs.jfact.helpers.IntSet
  • 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.kernel.options.JFactReasonerConfiguration (implements org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration)
  • uk.ac.manchester.cs.jfact.kernel.KBFlags
  • uk.ac.manchester.cs.jfact.split.KnowledgeExplorer
  • uk.ac.manchester.cs.jfact.kernel.Lexeme
  • uk.ac.manchester.cs.jfact.kernel.LogicFeatures
  • uk.ac.manchester.cs.jfact.kernel.options.LongOption (implements uk.ac.manchester.cs.jfact.kernel.options.Option)
  • uk.ac.manchester.cs.jfact.kernel.MergableLabel
  • uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheInterface
    • 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)
    • uk.ac.manchester.cs.jfact.kernel.dl.ConceptName (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression)
    • 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)
    • uk.ac.manchester.cs.jfact.kernel.dl.IndividualName (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.IndividualExpression)
    • 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)
  • 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.datatypes.DatatypeEntry
    • uk.ac.manchester.cs.jfact.datatypes.LiteralEntry
  • uk.ac.manchester.cs.jfact.kernel.NamedEntryCollection<T>
  • uk.ac.manchester.cs.jfact.kernel.dl.NAryExpressionImpl<Argument> (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<Argument>)
    • 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<Argument>)
    • uk.ac.manchester.cs.jfact.kernel.dl.ConceptOneOf (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ConceptExpression, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<Argument>)
    • 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<Argument>)
    • 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<Argument>)
    • 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<Argument>)
    • 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<Argument>)
    • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleChain (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<Argument>, uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleComplexExpression)
  • 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)
  • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleBottom (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression)
  • 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)
  • 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)
  • 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)
  • uk.ac.manchester.cs.jfact.kernel.dl.ObjectRoleTop (implements uk.ac.manchester.cs.jfact.kernel.dl.interfaces.ObjectRoleExpression)
  • 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.helpers.Pair<D,C>
  • uk.ac.manchester.cs.jfact.elf.RAddRule
  • uk.ac.manchester.cs.jfact.kernel.RAStateTransitions
  • uk.ac.manchester.cs.jfact.kernel.RATransition
  • uk.ac.manchester.cs.jfact.elf.RBotRule
  • uk.ac.manchester.cs.jfact.elf.RChainLRule
  • uk.ac.manchester.cs.jfact.elf.RChainRRule
  • uk.ac.manchester.cs.jfact.kernel.ReasoningKernel
  • uk.ac.manchester.cs.jfact.helpers.Reference<E>
  • uk.ac.manchester.cs.jfact.kernel.Related
  • uk.ac.manchester.cs.jfact.kernel.Restorer
  • uk.ac.manchester.cs.jfact.kernel.actors.RIActor (implements uk.ac.manchester.cs.jfact.kernel.actors.Actor)
  • 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.elf.RSubRule
  • uk.ac.manchester.cs.jfact.helpers.SaveStack<T>
  • uk.ac.manchester.cs.jfact.kernel.state.SaveState
  • uk.ac.manchester.cs.jfact.split.SemanticLocalityChecker (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor, uk.ac.manchester.cs.jfact.split.LocalityChecker)
  • uk.ac.manchester.cs.jfact.split.SigIndex
  • uk.ac.manchester.cs.jfact.helpers.SortedIntList
  • uk.ac.manchester.cs.jfact.helpers.Stats
  • uk.ac.manchester.cs.jfact.helpers.Stats.AccumulatedStatistic
  • uk.ac.manchester.cs.jfact.kernel.options.StringOption (implements uk.ac.manchester.cs.jfact.kernel.options.Option)
  • uk.ac.manchester.cs.jfact.kernel.actors.SupConceptActor (implements uk.ac.manchester.cs.jfact.kernel.actors.Actor)
  • uk.ac.manchester.cs.jfact.split.TAxiomSplitter
  • uk.ac.manchester.cs.jfact.split.TAxiomSplitter.TRecord
  • uk.ac.manchester.cs.jfact.kernel.Taxonomy
    • uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy
  • uk.ac.manchester.cs.jfact.kernel.actors.TaxonomyActor (implements uk.ac.manchester.cs.jfact.kernel.actors.Actor)
  • 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
            • org.semanticweb.owlapi.reasoner.ReasonerInternalException
              • uk.ac.manchester.cs.jfact.helpers.UnreachableSituationException
  • uk.ac.manchester.cs.jfact.helpers.Timer
  • uk.ac.manchester.cs.jfact.split.TModularizer
  • uk.ac.manchester.cs.jfact.kernel.ToDoList
  • uk.ac.manchester.cs.jfact.kernel.ToDoList.ToDoEntry
  • uk.ac.manchester.cs.jfact.split.TOntologyAtom
  • 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>)
  • uk.ac.manchester.cs.jfact.split.TSignature
  • uk.ac.manchester.cs.jfact.split.TSignatureUpdater (implements uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor)
  • uk.ac.manchester.cs.jfact.split.TSplitRules
  • uk.ac.manchester.cs.jfact.split.TSplitRules.TSplitRule
  • uk.ac.manchester.cs.jfact.split.TSplitVar
  • uk.ac.manchester.cs.jfact.split.TSplitVar.Entry
  • uk.ac.manchester.cs.jfact.split.TSplitVars
  • uk.ac.manchester.cs.jfact.datatypes.Utils
  • uk.ac.manchester.cs.jfact.kernel.voc.Vocabulary

Interface Hierarchy

• uk.ac.manchester.cs.jfact.kernel.actors.Actor
• 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<Type,Element>
• 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.kernel.dl.interfaces.Entity
  • uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Axiom
  • 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<Representation>
      • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<Representation>
      • 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<Representation>
    • 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<Representation>, 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<Representation>
    • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<Representation>
    • 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<Representation>
  • 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<Representation>
        • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<Representation>
        • 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<Representation>
      • 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<Representation>, 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<Representation>
      • uk.ac.manchester.cs.jfact.datatypes.DatatypeExpression<Representation>
      • 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<Representation>
    • 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<Representation>, 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<Representation>, 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.datatypes.Facet
• uk.ac.manchester.cs.jfact.helpers.FastSet
• uk.ac.manchester.cs.jfact.split.LocalityChecker
• uk.ac.manchester.cs.jfact.helpers.LogAdapter
• uk.ac.manchester.cs.jfact.kernel.NameCreator<T>
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NamedEntity
• uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression<Argument>
• 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.kernel.options.Option
• 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<Representation>)
• 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.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.modelcaches.ModelCacheType
    • uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheState
    • uk.ac.manchester.cs.jfact.split.ModuleType