Page History
...
The NNF does not include class disjointness, transitive properties, reflexive properties and sufficient conditions represented as General Concept Inclusions (GCIs) in the OWL axiom refset.
Inferred relationships for concrete values, e.g. decimal, integer, string, or dateTime, should be included in a separate relationship file.
Rules for Determining Redundant Relationships
...
Example for property chain:
Stated relationships
Inferred relationships before the removal of the redundant relationship
Inferred relationships after reduction
For
(the other model detail has been omitted): Concept ShowParts term t 323739006 |Product containing precisely amoxicillin (as amoxicillin sodium) 1 gram/1 vial powder for conventional release solution for injection (clinical drug)|
Stated relationships of
Concept | ||||
---|---|---|---|---|
|
Inferred relationships before the removal of the redundant relationship
Inferred relationships after the reduction
For
, the relationship Concept ShowParts term t 323739006 |Product containing precisely amoxicillin (as amoxicillin sodium) 1 gram/1 vial powder for conventional release solution for injection (clinical drug)422453004|Product containing ethyl morphine|
= Concept ShowParts term t 127489000|Has active ingredient|
is inherited from Concept ShowParts term t 373529000372687004 |MorphineAmoxicillin|
. If the rule 1 for class inclusion was to applyapplied, the relationships would not be considered as redundant because Concept ShowParts term t 7357200927658006 |Product containing morphineamoxicillin|
is not a subconcept of Concept ShowParts term t 74905005427483001 |Ethylmorphine Amoxicillin sodium (substance)|
. Because Since Concept ShowParts term t 373529000372687004 |Morphine Amoxicillin (substance)| Concept ShowParts term t 74905005427483001 |Ethyl morphineAmoxicillin sodium| Concept ShowParts term t 738774007|Is modification of|
and property chain of of " Concept ShowParts term t 373529000372687004 |MorphineAmoxicillin|
and o Concept ShowParts term t 127489000|Has active ingredient|
" is a sub-property of Concept ShowParts term t 738774007|Is modification of|
, the rule 2 actually compares the anonymous concepts for subsumption, i.e. Concept ShowParts term t 127489000|Has active ingredient|
= Concept ShowParts term t 127489000|Has active ingredient (attribute)|
with Concept ShowParts term t 373529000 |Morphine (substance)372687004 |Amoxicillin|
= Concept ShowParts term t 127489000|Has active ingredient|
. 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. Concept ShowParts term t 74905005427483001 |Ethyl morphineAmoxicillin sodium|
Caption label | ||||
---|---|---|---|---|
| ||||
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||||
27658006 | EquivalentClasses(: | 73572009 27658006 ObjectIntersectionOf(:763158003 ObjectSomeValuesFrom(:609096000 ObjectSomeValuesFrom(:127489000 : | 373529000372687004)))) | 7357200927658006 | 76488700590704004 | 0 | 116680003 |
73572009 | 360204007 | 0 | 116680003 | ||||
27658006 | 372687004 | 73572009 | 373529000 | 1 | 127489000 | ||
422453004323739006 | EquivalentClasses(:422453004 323739006 ObjectIntersectionOf(:763158003 ObjectSomeValuesFrom(:609096000 ObjectSomeValuesFrom(:127489000 762949000 :74905005427483001)))) | 422453004323739006 | 7357200927658006 | 0 | 116680003 | ||
422453004323739006 | 74905005427483001 | 1 | 127489000762949000 | ||||
127489000 | SubObjectPropertyOf(ObjectPropertyChain(:127489000 :738774007) :127489000)) | N/A | N/A | N/A | |||
427483001 | SubClassOf(: | 74905005 427483001 ObjectIntersectionOf(:440327007 ObjectSomeValuesFrom(:738774007 : | 373529000372687004))) | 74905005427483001440327007 | 373298001 | 0 | 116680003 |
74905005427483001 | 373529000372687004 | 0 | 738774007 | ||||
427483001 | 768681000 | 0 | 726542003 |
Technical Implementation for Calculating the NNF
...