W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2011

Re: Universal Quantification - common misconception

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Mon, 28 Mar 2011 08:38:41 +0100
Cc: public-owl-dev@w3.org
Message-Id: <97B3D5EE-AC99-4531-A46A-FB486446C9E7@cs.man.ac.uk>
To: Niall Murphy <nimurphy@gmail.com>
On 23 Mar 2011, at 19:33, Niall Murphy wrote:

> Hi Bijan,
> 
> Thanks for the explanation, it was very helpful. My confusion really stemmed from the wording in the primer. I could see for myself that the restriction could be satisfied by a person who has no children, but could not understand what formal semantics were actually being described or how they could be used to make such an inference.

Good to know.

> I recommend rephrasing that text in the next version of the primer along similar lines to the  explanation in your reply. My confusion was no doubt in part due to my lack of experience with formal logics or semantics and perhaps the intended audience would be a little more informed, but for what it's worth...

No, I think it's clunky and you are well along the "informed" curve of the intended audience. The primer needs some fixing up and I'll put this on the list.

Cheers,
Bijan.
Received on Monday, 28 March 2011 07:39:13 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:59 GMT