SNOMED CT OWL Guide

Search

SNOMED CT Document Library

    Loading...

Versions Compared

Old Version 19

changes.mady.by.user Yongsheng Gao

Saved on

compared with

New Version Current

changes.mady.by.user Yongsheng Gao

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

The OWL Axiom Reference Set is designed to cover all logic definitions in SNOMED CT. A concept can be defined by one or more axioms in the same module or different modules. Each axiom is represented by a string in

Gloss
tOWL Functional Syntax
GlosTermOWL Functional Syntax
 in the owlExpression field. Each concept is represented by a concept ID in the referencedComponentId in the refset. The referencedComponentId has no impact on the semantics of the axioms and it is not used for any logical reasoning. The following rules should be followed when assigning the referencedComponentId for an axiom:

  • If an axiom is in the form of SubClassOf(C D) or EquivalentClasses(C D) where concept C is a precoordinated concept, the concept ID of C should be the referencedComponentId for this axiom.
  • If an axiom is in the form of SubPropertyOf(r s) or EquivalentProperties(r s) where attribute r is a precoordinated concept, the concept ID of r should be the referencedComponentId for this axiom.
  • If an axiom is in the form of SubClassOf(C D) where concept C is NOT a precoordinated concept and D is a precoordinated concept. This is a General Concept Inclusion (GCI) axiom. Because concept C is a sufficient but not necessary condition for concept D, the concept ID of concept D should be the referencedComponentId for this axiom. Note, if C is a precoordinated concept, this SubclassOf axiom is NOT a GCI axiom and the concept D should not be assigned as the referencedComponentId.
  • If an axiom is in the form of SubObjectPropertyOf(u t) where attribute u is NOT a precoordinated concept and attribute t is a precoordinated concept. The concept ID of t should be the referencedComponentId for this axiom. e.g. SubObjectPropertyOf(ObjectPropertyChain(:r :s) :t)
  • If an axiom is in the form of SubClassOf(C D) or EquivalentClasses(C D) where both C and D are NOT precoordinated concepts, this is a GCI axiom and the referencedComponentId should be 733929006 |General concept inclusion axiom (metadata)|.
  • If an axiom is in the form of DisjointClasses(C D) where both C and D are precoordinated concepts, the concept ID of C should be the referencedComponentId for this axiom. Then the axiom DisjointClasses(D C) is redundant.
  • The disjointness in more than two Classes can be represented as DisjointClasses(C D E …) where all classes are precoordinated concepts. The concept 
    Concept
    t787776007 |Disjoint classes axiom (OWL metadata concept)|
     should be the referencedComponentId for this axiom.

...