Search Mailing List Archives
[protege-owl] classification of primitive concepts
olivier.dameron at univ-rennes1.fr
Tue Sep 12 10:25:55 PDT 2006
A collegue strongly feels that only defined concepts can be classified
What about the following situation:
- class A is a subclass of (exists r.B)
- class C is defined by (exists r.C)
- A and C are siblings in the taxonomy
- and the ontology specifies somewhere else that B is a subclass of C.
After classification, A is going to be recognized as a subclass of C,
even if A is a primitive class.
Is the assertion about the classification of defined classes false?
Do we consider that in the example, (exists r.B) plays the role of the
defined class ?
More information about the protege-owl