Search



Versions Compared

Key

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

...

  • If an axiom is in the form of SubclassOf(C D) or EquivalentClasses(C D) where concept C is a precoordinated concept, this axiom is a definition of concept C and concept id of C should be the referencedComponetId 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 D should be the referencedComponentId for this axiom.
  • 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 referencedComponetId should be 733929006 |General concept inclusion axiom (metadata)|.

...

For inferred relationships in the Necessary Normal Form (NNF), SubclassOf, SubObjectProperty and SubDataProperty in the OWL refset should be represented as

Concept
ShowPartsterm
t116680003 |Is a|
 relationships. The explanation for the Necessary Normal Form and the rules for calculating the NNF can be found in the document section Necessary Normal Form for Inferred Relationships.
The following additional two 
Concept
ShowPartsterm
t116680003 |Is a|
 relationships should always be included in the inferred relationship file because they cannot be derived from the OWL axiom refset.


Table 2.4.2 Additional stated inferred 

Concept
ShowPartsterm
t116680003 |Is a|
 relationships in the NNF file

SourceId

TypeId

DestinationId

762705008 |Concept model object attribute (attribute)|

116680003

|Is a (attribute)|

410662002 |Concept model attribute (attribute)

762706009 |Concept model data attribute (attribute)|

116680003

|Is a (attribute)|

410662002 |Concept model attribute (attribute)

Attribute

SNOMED CT is based on concept and attribute is also concept. However, a property cannot be a subproperty of a class in OWL because class and property are disjoint.
Descendants of 

Concept
t410662002|Concept model attribute (attribute)|
should be represented as either ObjectProperties or DataProperties in the OWL axiom refset. The rest SNOMED CT attributes including 
Concept
t410662002|Concept model attribute (attribute)|
 should be represented as Classes in the OWL axiom refset.

...

Current diagram representation for attribute in role group 0

For diagram of inferred relationships in the Necessary Normal Formlogical model, the circle should be used for 'self grouped attributes ' attribute(s) in the role group 0.

Diagram representation of logical model

...

  1. Concept as referenced component is inactivated.
  2. Axiom needs to be inactivated without any replacement.
  3. Any inactive concept or attribute in an axiom will not been replaced by active component.


Special notes on axioms during the period of transformation from stated relationships.relationship file 

Each concept can only have one axiom during the period of transformation from the existing stated relationships file to the OWL axiom reference set. Therefore, there should be only one active axiom in the reference set for all active relationships in conjunction for a concept at that snapshot across modules.

...