c

conexp.fx.core.dl.deprecated

ELInterpretation

final class ELInterpretation extends AInterpretation[ELConceptDescription, ELConceptInclusion, ELTBox]

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ELInterpretation
  2. AInterpretation
  3. Interpretation
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ELInterpretation(signature: Signature, domain: Set[IRI])
  2. new ELInterpretation(signature: Signature)
  3. new ELInterpretation(baseIRI: IRI)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addConceptNameAssertion(conceptName: String, individual: String): Boolean
    Definition Classes
    AInterpretation
  5. def addConceptNameAssertion(conceptName: IRI, individual: IRI): Boolean
    Definition Classes
    AInterpretation → Interpretation
  6. def addRoleNameAssertion(roleName: String, individual1: String, individual2: String): Boolean
    Definition Classes
    AInterpretation
  7. def addRoleNameAssertion(roleName: IRI, individual1: IRI, individual2: IRI): Boolean
    Definition Classes
    AInterpretation → Interpretation
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def checkRoleDepth(roleDepth: Int): Unit
    Definition Classes
    Interpretation
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  11. final def computeTBoxBase(roleDepth: Int, maxCardinality: Int, backgroundTBox: ELTBox, constructors: <repeated...>[Constructor]): ELTBox
    Definition Classes
    ELInterpretation → Interpretation
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equals(obj: Any): Boolean
    Definition Classes
    AInterpretation → AnyRef → Any
  14. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def getAllMostSpecificConcepts(roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): Set[ELConceptDescription]
    Definition Classes
    AInterpretation → Interpretation
  16. final def getAttributeSetForInducedContext(roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): SetList[ELConceptDescription]
    Attributes
    protected[deprecated]
    Definition Classes
    ELInterpretation → AInterpretation
  17. final def getBackgroundImplications(inducedContext: Context[IRI, ELConceptDescription], backgroundTBox: ELTBox): Set[Implication[IRI, ELConceptDescription]]
    Attributes
    protected[deprecated]
    Definition Classes
    ELInterpretation → AInterpretation
  18. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  19. final def getClosureOperator(roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): SetClosureOperator[IRI]
    Definition Classes
    AInterpretation → Interpretation
  20. def getConceptExpressionExtension(conceptExpression: ELConceptDescription): Set[IRI]
    Definition Classes
    AInterpretation → Interpretation
  21. def getConceptNameExtension(conceptName: IRI): Collection[IRI]
    Definition Classes
    AInterpretation → Interpretation
  22. def getConceptNameExtensions(): Multimap[IRI, IRI]
    Definition Classes
    AInterpretation
  23. def getDomain(): Set[IRI]
    Definition Classes
    AInterpretation → Interpretation
  24. def getInducedContext(individuals: Collection[IRI], roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): Context[IRI, ELConceptDescription]
    Definition Classes
    AInterpretation → Interpretation
  25. final def getMostSpecificConcept(individuals: Set[IRI], roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): ELConceptDescription
    Definition Classes
    ELInterpretation → Interpretation
  26. def getMostSpecificConcept(individual: IRI, roleDepth: Int, maxCardinality: Int, constructors: <repeated...>[Constructor]): ELConceptDescription
    Definition Classes
    ELInterpretation → Interpretation
  27. def getRoleNameExtension(roleName: IRI): Collection[Pair[IRI, IRI]]
    Definition Classes
    AInterpretation → Interpretation
  28. def getRoleNameExtensions(): Multimap[IRI, Pair[IRI, IRI]]
    Definition Classes
    AInterpretation
  29. def getRolePredecessorStream(roleName: IRI, individual: IRI): Stream[IRI]
    Attributes
    protected[deprecated]
    Definition Classes
    AInterpretation
  30. def getRolePredecessors(roleName: IRI, individual: IRI): Set[IRI]
    Definition Classes
    AInterpretation → Interpretation
  31. def getRoleSuccessorStream(roleName: IRI, individual: IRI): Stream[IRI]
    Attributes
    protected[deprecated]
    Definition Classes
    AInterpretation
  32. def getRoleSuccessors(roleName: IRI, individual: IRI): Set[IRI]
    Definition Classes
    AInterpretation → Interpretation
  33. def getSignature(): Signature
    Definition Classes
    AInterpretation → Interpretation
  34. def hashCode(): Int
    Definition Classes
    AInterpretation → AnyRef → Any
  35. final def isInstanceOf(individual: IRI, conceptExpression: ELConceptDescription): Boolean
    Definition Classes
    ELInterpretation → Interpretation
  36. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  37. def isSubsumedBy(subsumee: ELConceptDescription, subsumer: ELConceptDescription): Boolean
    Definition Classes
    AInterpretation → Interpretation
  38. final def models(tBox: ELTBox): Boolean
    Definition Classes
    ELInterpretation → Interpretation
  39. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  40. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  41. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  42. final def satisfies(gci: ELConceptInclusion): Boolean
    Definition Classes
    ELInterpretation → Interpretation
  43. def subsumes(subsumer: ELConceptDescription, subsumee: ELConceptDescription): Boolean
    Definition Classes
    AInterpretation → Interpretation
  44. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  45. def toString(): String
    Definition Classes
    AInterpretation → AnyRef → Any
  46. final def updateSuccessorSets(): Unit

    This method must be called prior to the computation of most specific concepts.

    This method must be called prior to the computation of most specific concepts.

    Definition Classes
    AInterpretation
  47. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  48. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  49. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from AInterpretation[ELConceptDescription, ELConceptInclusion, ELTBox]

Inherited from Interpretation[IRI, ELConceptDescription, ELConceptInclusion, ELTBox]

Inherited from AnyRef

Inherited from Any

Ungrouped