Page History
...
Inferred relationships after the reduction
For
, the relationship |Finding site| = |Bone structure of radius and/or ulna| is inherited from |Fracture of forearm|, which is a redundant relationship because |Radius bone structure| is a subtype of |Bone structure of forearm|. The relationship |Associated morphology| = |Traumatic abnormality| is inherited from |Injury of radius|, which is a redundant relationship because |Fracture| is a subtype of |Traumatic abnormality|. Concept ShowParts term t 12676007 |Fracture of radius|
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 |Kidney biopsy|, the relationship 363704007 |Procedure site| = 64033007 |Kidney structure| is inherited from 118851004 |Procedure on kidney|, which is a redundant relationship to 405813007 |Procedure site - Direct| = |Kidney structure| because |Procedure site - Direct| is a subtype of |Procedure site|. Because |Kidney structure| is a subtype of |Urinary system structure| and |Retroperitoneal compartment structure|, the inherited relationships for |Procedure site - Direct| are also redundant.
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 |Product containing ethyl morphine|, the relationship |has active ingredient| = |Morphine| is inherited from |Product containing morphine|, which is a redundant relationship to |has active ingredient| = |Ethyl morphine| because |Ethyl morphine| |Is modification of| |Morphine| and |has active ingredient| has a property chain with |Is modification of|.
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
...