W3C home > Mailing lists > Public > www-webont-wg@w3.org > February 2003

Re: owl:complementOf in OWL Full

From: Jos De_Roo <jos.deroo@agfa.com>
Date: Wed, 26 Feb 2003 12:31:23 +0100
To: pfps@research.bell-labs.com
Cc: "Jos De_Roo" <jos.deroo@agfa.com>, www-webont-wg@w3.org, www-webont-wg-request@w3.org
Message-ID: <OFFE47A240.34E8EE9B-ONC1256CD9.003AB926-C1256CD9.003F5EE5@agfa.be>


>> 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:57 GMT