W3C home > Mailing lists > Public > public-webont-comments@w3.org > April 2004

[OWL-ref] Errata: complementOf definition

From: J.J.SOLARI <jjsolari@pobox.com>
Date: Fri, 2 Apr 2004 16:26:46 +0200
To: public-webont-comments@w3.org
Message-ID: <r02010100-1033-C616A80F84B111D8A2DF000393750B20@[10.0.1.202]>

Hello all,

In following sentence, in section [3.1.3.3 complementOf],
<http://www.w3.org/TR/2004/REC-owl-ref-20040210/#complementOf-def>,
wording of conclusion is somewhat confusing:

[...]
owl:complementOf is analogous to logical negation: the class extension
consists of *those individuals that are NOT members of the class
extension of the complement class*.
[...]

Shouldn't it read something like:

the class extension consists of those individuals that are NOT members
of the class extension of the class which it is the complement of.

hih,

JJS.
Received on Friday, 2 April 2004 09:28:29 GMT

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