W3C home > Mailing lists > Public > www-rdf-rules@w3.org > December 2003

NAF and owl:complementOf semantics?

From: Minsu Jang <minsu@etri.re.kr>
Date: Tue, 9 Dec 2003 22:13:01 +0900
To: <www-rdf-rules@w3.org>
Message-ID: <000001c3be56$2f460a10$8c4bfe81@ZEBEHN>

Hi,

According to the S&AS, owl:complementOf(c) is interpreted
as O - EC(c), which is, as I understand, a set of individuals
which are not contained in the set of individuals of type c.

For me, this was easily taken as a semantic which can be
implemented simply by negation-as-failure. I could formulate
the semantic into a rule as follows:

if
   owl:complementOf(?c1,?c2) and owl:Thing(?x) and not ?c2(?x)
then
   ?c1(?x);

Is this a proper axiomatization of owl:complementOf?
I think it is, but I'm not sure... Any comment on this?

Regards,
Minsu

--------------------------------------------------
Minsu Jang
Senior Member of Engineering Staff
Business Knowledge Research Team
Electronics and Telecommunications Research Institute
Phone: +82-42-860-1250 Fax: +82-42-860-6790 
Received on Tuesday, 9 December 2003 08:13:12 GMT

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