Additional examples to the syntax?

Boris,

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
-- 

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