- From: Minsu Jang <minsu@etri.re.kr>
- Date: Tue, 9 Dec 2003 22:13:01 +0900
- To: <www-rdf-rules@w3.org>
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 UTC