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

Re: owl:complementOf in OWL Full

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Tue, 25 Feb 2003 23:00:17 -0500 (EST)
Message-Id: <20030225.230017.68550832.pfps@research.bell-labs.com>
To: jos.deroo@agfa.com
Cc: www-webont-wg@w3.org

From: "Jos De_Roo" <jos.deroo@agfa.com>
Subject: owl:complementOf in OWL Full
Date: Wed, 26 Feb 2003 00:56:12 +0100

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

peter
Received on Tuesday, 25 February 2003 23:00:28 GMT

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