Re: owl:complementOf in OWL Full

>> While trying to run Sean's tests I have been falling
>> in deep trouble with owl:complementOf in OWL Full.
>> I really can't make sense of it in OWL Full...
>> What does it mean in OWL Full???
>>
>> -- ,
>> Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
>
>The same as it means in the other dialects.  The semantic conditions for
>owl:complementOf don't change - it is always the complement relative to
the
>class extension of owl:Thing.
>
>In OWL Full, the class extension of owl:Thing is the entire RDF domain, so
>complements can be larger than they can be OWL DL.

So, that would then mean that e.g. the CEXT of
owl:complementOf e.g. class owl:oneOf (:a :b)
would contain itself, yes?
would it contain the russell class?

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Wednesday, 26 February 2003 06:32:02 UTC