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