SNOMED CT OWL Guide

Search

SNOMED CT Document Library

    Loading...

Versions Compared

Old Version 9

changes.mady.by.user Yongsheng Gao

Saved on

compared with

New Version 10

changes.mady.by.user Yongsheng Gao

Saved on

Key

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

...

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 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 1 Additional inferred 

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

...

Any changes to the NNF should have a history of changes in the OWL refset. This will ensure that all entries in the NNF can be derived from the OWL refset except relationships in the table 2.4.21. The NNF will still have the computed effectiveTime for each inferred relationship. The version of each inferred relationship can be derived from the OWL refset but it is not true in reverse.

It is allowed to make direct modification to a published axiom without inactivation by the owner of the module. The same UUID should be used with a new effectiveTime. Any Since any modification to an axiom could potentially alter its meaning, it is not necessary to inactivate an axiom and create a new axiom. It is also not necessary to reinstate an inactivated axiom in the previous release when the same axiom is created as new expression. This approach can simplify the tooling and authoring process and it is a different approach to the history of changes to individual relationship.

...