semantic equivalence
semantic equivalence
The relationship between two classes that have the same logical meaning.
Notes
The equivalent classes may be represented in different ways for example as SNOMED CT concept definitions, SNOMED CT expressions, or axioms expressed using a syntax such as OWL Functional Syntax.
Semantic equivalence is represented by the Ξ symbol or by a sequence of three equals signs === .
Example
The expression below asserts that the concept 80146002 | Appendectomy| has semantic equivalence with 71388002 | Procedure| with method 129304002 | Excision - action| applied to the direct site 66754008 | Appendix structure| .
80146002 |Appendectomy| === 71388002 |Procedure| : { 405813007 |Procedure site - Direct| = 66754008 |Appendix structure| , 260686004 |Method| = 129304002 |Excision - action| }
Alternatives
Concept equivalence
Equivalence
Last updated