W3C home > Mailing lists > Public > public-owl-comments@w3.org > February 2011

Re: Despair! The exact meaning of Complement??

From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
Date: Sun, 27 Feb 2011 13:46:24 +0000
Cc: <public-owl-comments@w3.org>
Message-Id: <A49C1676-D1B0-4E4B-9BC6-4D0A3D088A64@comlab.ox.ac.uk>
To: Dave Andersen <dja222@hotmail.com>
I have forwarded this to <public-owl-dev@w3.org>, which is a more appropriate list for this sort of enquiry.

On 25 Feb 2011, at 15:56, Dave Andersen wrote:

> 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 exactdefinition 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,
> 
> DJ
> 
Received on Sunday, 27 February 2011 13:46:54 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 27 February 2011 13:46:54 GMT