- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Mon, 28 Mar 2011 08:38:41 +0100
- To: Niall Murphy <nimurphy@gmail.com>
- Cc: public-owl-dev@w3.org
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 UTC