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