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

R. Cornet r.cornet at amc.uva.nl
Tue Sep 12 10:43:04 PDT 2006


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

Incorrect.
Only defined conceps can be used to classify other concepts.
The example you define is correct.

Simpler:
> - class A is a subclass of (exists r.B)
> - class C is defined by (exists r.B)

Then A will be classified as a subclass of C

More concrete: a black bird is defined as a bird that has a black color
a blackbird is a subclass of a bird that has a black color

A blackbird will be classified as a black bird.

Hope this helps.

Cheers, Ronald

> 
> 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 ?
> 
> thanks
> Olivier
> 
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
> 



More information about the protege-owl mailing list