c

conexp.fx.core.dl

ELConceptDescription

final class ELConceptDescription extends PartialComparable[ELConceptDescription] with Cloneable

Linear Supertypes
Cloneable, PartialComparable[ELConceptDescription], Comparable[ELConceptDescription], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ELConceptDescription
  2. Cloneable
  3. PartialComparable
  4. Comparable
  5. AnyRef
  6. 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 asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. final def clone(): ELConceptDescription
    Definition Classes
    ELConceptDescription → AnyRef
  6. final def compareTo(other: ELConceptDescription): Int
    Definition Classes
    ELConceptDescription → Comparable
  7. final def distanceTo(other: ELConceptDescription): Int
  8. final def distanceTo2(other: ELConceptDescription): Int
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. final def equals(obj: Any): Boolean
    Definition Classes
    ELConceptDescription → AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. final def getConceptNames(): Set[IRI]
  14. final def getExistentialRestrictions(): Multimap[IRI, ELConceptDescription]
  15. final def greater(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  16. final def greaterEq(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  17. final def hashCode(): Int
    Definition Classes
    ELConceptDescription → AnyRef → Any
  18. final def isBot(): Boolean
  19. final def isEquivalentTo(other: ELConceptDescription): Boolean
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. final def isLowerNeighborOf(other: ELConceptDescription): Boolean
  22. final def isSubsumedBy(other: ELConceptDescription): Boolean
  23. final def isTop(): Boolean
  24. final def isUpperNeighborOf(other: ELConceptDescription): Boolean
  25. final def lowerNeighbors(sigma: Signature): Set[ELConceptDescription]
  26. final def lowerNeighbors2(sigma: Signature): Set[ELConceptDescription]
    Attributes
    protected[conexp.fx.core.dl]
  27. final def lowerNeighbors3(sigma: Signature): Set[ELConceptDescription]
    Attributes
    protected[conexp.fx.core.dl]
  28. final def lowerNeighborsReduced(sigma: Signature): Set[ELConceptDescription]
  29. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  30. final def neighborhood(radius: Int, sigma: Signature): Set[ELConceptDescription]
  31. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  33. final def rank(): Int
  34. final def rank2(): Int
  35. final def rank3(): Int
  36. final def rank4(): Int
  37. final def reduce(): ELConceptDescription
  38. final def roleDepth(): Int
  39. final def size(): Int
  40. final def smaller(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  41. final def smallerEq(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  42. final def subsumes(other: ELConceptDescription): Boolean
  43. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  44. final def toLaTeXString(): String
  45. final def toOWLClassExpression(): OWLClassExpression
  46. final def toString(): String
    Definition Classes
    ELConceptDescription → AnyRef → Any
  47. final def uncomparable(other: ELConceptDescription): Boolean
    Definition Classes
    ELConceptDescription → PartialComparable
  48. final def unreducedRank(): Int
  49. final def unreducedRank2(): Int
  50. final def unreducedRank4(): Int
  51. final def upperNeighbors(): Set[ELConceptDescription]
  52. final def upperNeighborsReduced(): Set[ELConceptDescription]
  53. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Cloneable

Inherited from PartialComparable[ELConceptDescription]

Inherited from Comparable[ELConceptDescription]

Inherited from AnyRef

Inherited from Any

Ungrouped