Re: Multiple (conflicting) rdfs:range properties

Frank Manola wrote:

>For there to be a problem with a resource being both an instance of both 
>the rdfs:Literal and my:Class1 classes, there would have to be an *RDFS* 
>condition saying that rdfs:Literal was disjoint from other RDFS classes. 
>  But there is no such condition in RDFS.

Of course, OWL DL does have category disjointness conditions.  Hence
the example given is not valid OWL DL.

-Evan

Evan K. Wallace
Manufacturing Systems Integration Division
NIST