Search



Versions Compared

Key

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

...

Inferred relationships after the reduction

For

Concept
ShowPartsterm
t12676007 |Fracture of radius|
, 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|.

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

...