NAF and owl:complementOf semantics?

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