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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:51 UTC