SNOMED CT OWL Guide

Search

SNOMED CT Document Library

    Loading...

Versions Compared

Old Version 14

changes.mady.by.user Yongsheng Gao

Saved on

compared with

New Version 15

changes.mady.by.user David Markwell

Saved on

Key

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

...

For

Concept
ShowPartsterm
t12676007 |Fracture of radius|
, the relationship
Concept
ShowPartsterm
t363698007|Finding site|
 = 
Concept
ShowPartsterm
t299701004|Bone structure of radius and/or ulna|
is inherited from
Concept
ShowPartsterm
t65966004|Fracture of forearm|
, which is a redundant relationship because 
Concept
ShowPartsterm
t62413002|Bone structure of radius|
is a subtype of
Concept
ShowPartsterm
t299701004|Bone structure of radius and/or ulna|
. The relationship 
Concept
ShowPartsterm
t116676008|Associated morphology|
 = 
Concept
ShowPartsterm
t19130008|Traumatic abnormality|
is inherited from
Concept
ShowPartsterm
t429353004|Injury of radius|
, which is a redundant relationship because 
Concept
ShowPartsterm
t72704001|Fracture (morphologic abnormality)|
 is a subtype of
Concept
ShowPartsterm
t19130008|Traumatic abnormality|
.

Caption label
CapIdexample-in-owl-axiom-refset-and-rf2-relationship-file-nnf-
CapTypeTable
Example in OWL axiom refset and RF2 relationship file (NNF)

referencedComponentId


owlExpression

(stated relationships)

Inferred Relationships in Necessary Normal Form

sourceId

destinationId

relationshipGroup

typeId

125605004

EquivalentClasses(:125605004 ObjectIntersectionOf(:64572001 ObjectSomeValuesFrom(:609096000 ObjectIntersectionOf(ObjectSomeValuesFrom(:116676008 :72704001) ObjectSomeValuesFrom(:363698007 :272673000)))))

125605004

284003005

0

116680003

125605004

72704001

1

116676008

125605004

272673000

1

363698007

12676007

EquivalentClasses(:12676007 ObjectIntersectionOf(:64572001 ObjectSomeValuesFrom(:609096000 ObjectIntersectionOf(ObjectSomeValuesFrom(:116676008 :72704001) ObjectSomeValuesFrom(:363698007 :62413002)))))

12676007

65966004

0

116680003

12676007

429353004

0

116680003

12676007

72704001

1

116676008

12676007

62413002

1

363698007

62413002

SubClassOf(:62413002 :299701004)

62413002

299701004

0

116680003

Example for Role inclusion

...

For concept

Concept
ShowPartsterm
t7246002|Kidney biopsy|
, the relationship 
Concept
ShowPartsterm
t363704007|Procedure site|
= 
Concept
ShowPartsterm
t64033007|Kidney structure|
is inherited from
Concept
ShowPartsterm
t118851004|Procedure on kidney|
, which is a redundant relationship to 
Concept
ShowPartsterm
t405813007|Procedure site - Direct|
= 
Concept
ShowPartsterm
t64033007|Kidney structure|
because 
Concept
ShowPartsterm
t405813007|Procedure site - Direct|
is a subtype of
Concept
ShowPartsterm
t363704007|Procedure site|
. Because 
Concept
ShowPartsterm
t64033007|Kidney structure|
is a subtype of 
Concept
ShowPartsterm
t122489005|Urinary system structure|
and
Concept
ShowPartsterm
t82849001|Retroperitoneal compartment structure|
, the inherited relationships for 
Concept
ShowPartsterm
t405813007|Procedure site - Direct|
are also redundant.

Caption label
CapIdexample-in-owl-axiom-refset-and-rf2-relationship-file-nnf-
CapTypeTable
Example in OWL axiom refset and RF2 relationship file (NNF)

referencedComponentId


owlExpression

(stated relationships)

Inferred Relationships in Necessary Normal Form

sourceId

destinationId

relationshipGroup

typeId

118851004

EquivalentClasses(:118851004 ObjectIntersectionOf(:71388002 ObjectSomeValuesFrom(:609096000 ObjectSomeValuesFrom(:363704007 :64033007))))

118851004

71388002

0

116680003

118851004

64033007

1

363704007

7246002

EquivalentClasses(:7246002 ObjectIntersectionOf(:71388002 ObjectSomeValuesFrom(:609096000 ObjectIntersectionOf(ObjectSomeValuesFrom(:260686004 :129314006) ObjectSomeValuesFrom(:405813007 :64033007)))))

7246002

118851004

0

116680003

7246002

362995002

0

116680003

7246002

430212007

0

116680003

7246002

129314006

1

260686004

7246002

64033007

1

405813007

405813007

SubObjectPropertyOf(:405813007 :363704007)

405813007

363704007

0

116680003

Rule 2 - Property chains including transitive properties

...

For

Concept
ShowPartsterm
t422453004|Product containing ethyl morphine|
, the relationship 
Concept
ShowPartsterm
t127489000|Has active ingredient|
= 
Concept
ShowPartsterm
t373529000|Morphine|
 is inherited from
Concept
ShowPartsterm
t73572009|Product containing morphine|
. If the rule 1 for class inclusion was to apply, the relationships would not be considered as redundant because 
Concept
ShowPartsterm
t74905005|Ethylmorphine (substance)|
 is not a subconcept of 
Concept
ShowPartsterm
t373529000|Morphine (substance)|
. Because 
Concept
ShowPartsterm
t74905005|Ethyl morphine|
 
Concept
ShowPartsterm
t738774007|Is modification of|
 
Concept
ShowPartsterm
t373529000|Morphine|
and property chain of 
Concept
ShowPartsterm
t127489000|Has active ingredient|
 and 
Concept
ShowPartsterm
t738774007|Is modification of|
 is a sub-property of 
Concept
ShowPartsterm
t127489000|Has active ingredient|
, the rule 2 actually compares the anonymous concepts for subsumption, i.e. 
Concept
ShowPartsterm
t127489000|Has active ingredient (attribute)|
 = 
Concept
ShowPartsterm
t373529000 |Morphine (substance)|
 with 
Concept
ShowPartsterm
t127489000|Has active ingredient|
 = 
Concept
ShowPartsterm
t74905005|Ethyl morphine|
. Therefore, the inherited relationship is redundant and can be removed from the NNF.  Their relationships and property chain can be demonstrated in the following diagram.



Caption label
CapIdexample-in-owl-axiom-refset-and-rf2-relationship-file-nnf-
CapTypeTable
Example in OWL axiom refset and RF2 relationship file (NNF)

referencedComponentId


owlExpression

(stated relationships)

Inferred Relationships in Necessary Normal Form

sourceId

destinationId

relationshipGroup

typeId

73572009

EquivalentClasses(:73572009 ObjectIntersectionOf(:763158003 ObjectSomeValuesFrom(:609096000 ObjectSomeValuesFrom(:127489000 :373529000))))

73572009

764887005

0

116680003

73572009

360204007

0

116680003

73572009

373529000

1

127489000

422453004

EquivalentClasses(:422453004 ObjectIntersectionOf(:763158003 ObjectSomeValuesFrom(:609096000 ObjectSomeValuesFrom(:127489000 :74905005))))

422453004

73572009

0

116680003

422453004

74905005

1

127489000

127489000

SubObjectPropertyOf(ObjectPropertyChain(:127489000 :738774007) :127489000))

N/A

N/A


N/A

74905005

SubClassOf(:74905005 ObjectIntersectionOf(:440327007 ObjectSomeValuesFrom(:738774007 :373529000)))

74905005

440327007

0

116680003

74905005

373529000

0

738774007


Technical Implementation for Calculating the NNF

...

An example for the current diagram representation for attribute in role group 0 in the stated relationship file and concept model diagram

sourceIddestinationIdrelationshipGrouptypeId
90708001640330070363698007


 


After the complete OWL axiom refset is implemented,

Concept
ShowPartsterm
t609096000 |Role group|
 in the OWL axiom refset and concept model diagram should be represented as following.

referencedComponentIdowlExpression
90708001

EquivalentClasses(:90708001 ObjectIntersectionOf(:64572001 ObjectSomeValuesFrom(:609096000 ObjectSomeValuesFrom(:363698007 :64033007))))

Representation of 

Concept
ShowPartsterm
t609096000 |Role group|
in the NNF relationship file and concept model diagram

sourceIddestinationIdrelationshipGrouptypeId
907080017340450020116680003
907080014438200000116680003
907080012495780050116680003
90708001640330071363698007