Current Version - Under Revision
An inferred view of a conceptdefinition may contain relationships to all supertype ancestors that are primitive concepts (shaded green in examples
Error: Referenced caption id not found!
- Table: with ID: primitive-supertypes-in-the-example-hierarchy
- Figure: with ID: example-hierarchy
The rationale for this is that all the distinguishing features of the defined concepts (white unshaded in examples) are represented by other defining relationships which will show up in the attribute part of the view.
This view can be used when testing whether a candidate concept is subsumed by a predicate expression. If the proximal primitive supertype view of the predicate expression includes anyconcept that is not in the comprehensive primitive view of the candidate conceptdefinition, then the concept is not subsumed by the expression.
Figure 8.3.5-1: Example hierarchy containing defined and primitive concepts
Primitivesupertypes of these concept
C, D, E, F
H, J, N
A, G, K
A, G, I
A, G, I, K