c

conexp.fx.core.dl

ELConceptDescription

final class ELConceptDescription extends LatticeElement[ELConceptDescription] with Cloneable

Linear Supertypes
Cloneable, LatticeElement[ELConceptDescription], PartialComparable[ELConceptDescription], Comparable[ELConceptDescription], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ELConceptDescription
  2. Cloneable
  3. LatticeElement
  4. PartialComparable
  5. Comparable
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ELConceptDescription()
  2. new ELConceptDescription(conceptNames: Set[IRI], existentialRestrictions: Multimap[IRI, ELConceptDescription])

    existentialRestrictions

    Creates a new EL normal form. If the sets conceptNames and existentitalRestrictions are both empty, then the constructed normal form represents the top concept.

  3. new ELConceptDescription(concept: OWLClassExpression)

    concept

    Creates a new EL normal form from an OWLClassExpression.

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. final def and(that: ELConceptDescription): ELConceptDescription
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. final def clone(): ELConceptDescription
    Definition Classes
    ELConceptDescription → AnyRef
  7. final def compareTo(other: ELConceptDescription): Int
    Definition Classes
    ELConceptDescription → Comparable
  8. final def distanceTo(other: ELConceptDescription): Int
  9. final def distanceTo2(other: ELConceptDescription): Int
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. final def equals(obj: Any): Boolean
    Definition Classes
    ELConceptDescription → AnyRef → Any
  12. final def equivalent(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  13. final def exists(roleName: IRI): ELConceptDescription
  14. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. final def getConceptNames(): Set[IRI]
  17. final def getConceptNamesInSignature(): Stream[IRI]
    Attributes
    protected[dl]
  18. final def getExistentialRestrictions(): Multimap[IRI, ELConceptDescription]
  19. final def getRoleNamesInSignature(): Stream[IRI]
    Attributes
    protected[dl]
  20. final def getSignature(): Signature
  21. final def greater(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  22. final def greaterEq(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  23. def greatest(): ELConceptDescription
    Definition Classes
    ELConceptDescription → LatticeElement
  24. final def hashCode(): Int
    Definition Classes
    ELConceptDescription → AnyRef → Any
  25. def inf(e: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → LatticeElement
  26. def infimum(e: ELConceptDescription): ELConceptDescription
    Definition Classes
    ELConceptDescription → LatticeElement
  27. final def isBot(): Boolean
  28. final def isEquivalentTo(other: ELConceptDescription): Boolean
  29. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  30. final def isLowerNeighborOf(other: ELConceptDescription): Boolean
  31. final def isSubsumedBy(other: ELConceptDescription): Boolean
  32. final def isTop(): Boolean
  33. final def isUpperNeighborOf(other: ELConceptDescription): Boolean
  34. final def lcs(that: ELConceptDescription): ELConceptDescription
  35. final def lowerNeighbors(sigma: Signature): Set[ELConceptDescription]
  36. final def lowerNeighbors1(sigma: Signature): Set[ELConceptDescription]
  37. final def lowerNeighborsA(sigma: Signature): Set[ELConceptDescription]
  38. final def lowerNeighborsB(sigma: Signature): Set[ELConceptDescription]
  39. final def lowerNeighborsReduced1(sigma: Signature): Set[ELConceptDescription]
  40. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  41. final def neighborhood(radius: Int, sigma: Signature): Set[ELConceptDescription]
  42. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  43. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  44. final def rank(): Int
  45. final def rank2(): Int
  46. final def rank3(): Int
  47. final def rank4(): Int
  48. final def rank5(): Long
  49. final def reduce(): ELConceptDescription
  50. final def restrictTo(roleDepth: Int): Unit
  51. final def roleDepth(): Int
  52. final def size(): Int
  53. final def size2(): Int
  54. final def smaller(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  55. final def smallerEq(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  56. def smallest(): ELConceptDescription
    Definition Classes
    ELConceptDescription → LatticeElement
  57. final def subsumes(other: ELConceptDescription): Boolean
  58. def sup(e: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → LatticeElement
  59. def supremum(e: ELConceptDescription): ELConceptDescription
    Definition Classes
    ELConceptDescription → LatticeElement
  60. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  61. final def toLaTeXString(): String
  62. final def toOWLClassExpression(): OWLClassExpression
  63. final def toShortString(): String
  64. final def toString(): String
    Definition Classes
    ELConceptDescription → AnyRef → Any
  65. final def topLevelConjuncts(): Collection[ELConceptDescription]
  66. final def uncomparable(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  67. final def unreducedRank(): Int
  68. final def unreducedRank2(): Int
  69. final def unreducedRank4(): Int
  70. final def upperNeighbors(): Set[ELConceptDescription]
  71. final def upperNeighborsReduced(): Set[ELConceptDescription]
  72. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  73. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  74. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  75. final def without(that: ELConceptDescription): ELConceptDescription

Inherited from Cloneable

Inherited from LatticeElement[ELConceptDescription]

Inherited from PartialComparable[ELConceptDescription]

Inherited from Comparable[ELConceptDescription]

Inherited from AnyRef

Inherited from Any

Ungrouped