Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] classification of primitive concepts

Olivier Dameron olivier.dameron at
Tue Sep 12 10:25:55 PDT 2006

A collegue strongly feels that only defined concepts can be classified
with DL.

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 mailing list