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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • 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
  • 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.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.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.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.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.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)