- From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
- Date: Tue, 25 Feb 2003 23:00:17 -0500 (EST)
- 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 UTC