

Despair! The exact meaning of Complement??

From: Dave Andersen <dja222@hotmail.com>
Date: Fri, 25 Feb 2011 16:56:21 +0100
Message-ID: <COL116-W3B177AF16995574D57EF492DD0@phx.gbl>

Dear Working Group,

After fiddling a day or so away with Pellet, Hermit and Fact++ to get things right (NOT!), I finally turn to you for the ultimate answer for the exact definition of Complement:
Suppose I have a class Person with 9 individuals:

3 with property male = TRUE, could be put in a subclass Man
3 with property male = FALSE
3 without a male property

Then WHAT is the outcome of "NOT Man" (i.e.: NOT (male value TRUE)):

a. the REST of the class Person, i.e. 3 with male = TRUE plus 3 without male property.
b. ONLY the 3 individuals with the property male = FALSE, since FALSE is the opposite Of TRUE and can be interpreted as the complement of "NOT (male value TRUE)".
c. NO answer at all, since it is not absolutely sure whether the 3 individuals without a male property mentioned here, still might have it mentioned somewhere (according to OWA), but is at this moment not known to the reasoner. Ergo: it can't give an answer.

The above reasoners give different answers or none at all! (at least all different from what I myself expect: answer a.)

Another question: is W3C Monotonicity defined as strictly decreasing/increasing (staying equal NOT allowed) or nonincreasing/decreasing (staying equal allowed)?
And another: Is it allowed to make the most upper class "Thing" equivalent to a defined class?

Thank you very much in advance,


Received on Friday, 25 February 2011 15:57:16 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Friday, 25 February 2011 15:57:16 GMT