TerminologyKind

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. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

6. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

7. def equals(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

8. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( classOf[java.lang.Throwable] )

9. final def getClass(): Class[_]

   

   Definition Classes

   AnyRef → Any

10. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

11. val isClosedWorld: TerminologyDesignationKind.type

    

    isDesignation indicates that the semantics of a TerminologyGraph (TBox graph) is closed-world.

    isDesignation indicates that the semantics of a TerminologyGraph (TBox graph) is closed-world.

    For example, this means that the semantics of taxonomic relations (e.g., EntityConceptSubClassAxiom) and restrictions (e.g., EntityConceptRestrictionAxiom) is closed world in the following sense: Suppose there is a Designation TBox graph G where the only taxonomic relationships asserted about concept A is that concepts B and C are subclasses of concept A. The closed world semantics of G as a Designation TBox means that B and C designate distinct sets of things (this is the so-called "Unique Name Assumption") and that there does not exist any other concept distinct from B or C that can be a subclass of A anywhere else.

    Additionally, the extent of each OML Entity represented as an OWL2 Class (i.e., OML Aspect, Concept, ReifiedRelationship) is a set of exactly one instance due to an OWL2 Key axiom asserting the unicity of an instance according to the value of its essential identification properties (scalar or structured).

12. def isClosedWorldKind(k: TerminologyKind): Boolean

    

13. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

14. val isOpenWorld: TerminologyDefinitionKind.type

    

    isOpenWorld indicates that the semantics of a TerminologyGraph (TBox graph) is open-world.

    isOpenWorld indicates that the semantics of a TerminologyGraph (TBox graph) is open-world.

    For example, this means that the semantics of taxonomic relations (e.g., EntityConceptSubClassAxiom) and restrictions (e.g., EntityConceptRestrictionAxiom) is open world in the following sense: Suppose there is a Definition TBox graph G where a taxonomic relationship asserts that concepts B and C are subclasses of concept A. The open world semantics of G as a Definition TBox means that there may exist another concept distinct from B or C that is asserted to be subclass of A in a some other Definition TBox graph that directly or indirectly imports G.

    Additionally, the extent of each OML Entity represented as an OWL2 Class (i.e., OML Aspect, Concept, ReifiedRelationship) is a set of zero or more instances.

15. def isOpenWorldKind(k: TerminologyKind): Boolean

    

16. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

17. final def notify(): Unit

    

    Definition Classes

    AnyRef

18. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

19. implicit def ordering: Ordering[TerminologyKind]

    

20. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

21. def toString(): String

    

    Definition Classes

    AnyRef → Any

22. val values: Set[TerminologyKind]

    

23. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

24. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

25. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )