W3C home > Mailing lists > Public > public-owl-wg@w3.org > January 2009

Additional examples to the syntax?

From: Ivan Herman <ivan@w3.org>
Date: Fri, 09 Jan 2009 15:24:15 +0100
Message-ID: <49675E0F.3000809@w3.org>
To: Boris Motik <boris.motik@comlab.ox.ac.uk>
CC: W3C OWL Working Group <public-owl-wg@w3.org>

this is not a direct comment in the sense of a spelling error, something
a little bit more. Ie, this might require a little bit more discussions
on the list (or at least the WG approval...)

I look at 11.1 and 11.2. And, obviously, this is _very_ difficult to
follow for somebody who has not been in the area of DL. The set of
examples are therefore very useful; it gives a good 'vague' idea for
laypeople and let the details to experts.

However... just trying to see how things would become a bit more palatable.

- 11.1: obviously, the issue of simple vs composite become a bit more
convoluted with the inverse. The current example is clear, I wonder
whether an extra example involving an inverse would not be helpful.

- 11.2 (1) example (referring to points #1, #2, #3) is fairly clear.
- 11.2 (2) and (3) are both for point #4. What I would, however, miss is
	- a 'positive' example that is valid (not only the
	version in (3)), and also how that would/could be translated
	into the partial order defined in #4. This 'there exist a
	partial order' is really frightening for a non mathematician.
- In some ways, my comment is the same for the last two examples. It
would be good to have an example that _violates_ the last item in the
restrictions, and why that happens. It would again help the reader...

Just my 2 pence...


Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf

Received on Friday, 9 January 2009 14:24:51 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:08 UTC