RE: OWL2 syntax doc check

Hello,

Thanks Rinke and El-Ali -- I really appreciate your comments. I've fixed the document in the Wiki, but I have several
questions/comments below.

[snip]

> > 1) Section 9.2.9:
> >
> > The example provided to illustrate the usage of reflexive properties
> > is missing an axiom along the lines of "PropertyAssertion( a:knows
> > a:Peter a:Lois )"
> >

I'm not sure why this would be the case. Whether a:Peter knows a:Lois is completely independent of the fact that a:Peter knows
himself.

> > 2) Section 11.2:
> >
> > In the fourth example, the example provided for the equivalence
> > assertion starts with "ClassAssertion(SomeValuesFrom..." - I think
> > it should be "ClassExpression(SomeValuesFrom..." as a logical
> > expression is being provided.
> >

This was indeed an assertion, but it was missing an individual. Thanks for spotting this!

> >
> > ---
> >
> > Finally, I second what you said earlier: while the examples in
> > section 11 (Global Restrictions on Axioms) make sense, I got quite
> > confused with the corresponding explanations, but I would blame this
> > in part on my lack of mathematical rigor - e.g., what are closure
> > axioms?? Are they axioms to ensure the reasoner does not go out of
> > hand such as during an encounter with cyclical structures?
> >

The axiom closure has been defined in Section 3.4. Now I know that this is a long way off from Section 11.2 and that people might
have forgotten the definition by the time they get to it. I'm not sure, however, how to fix this. Since this is a reference/formal
definition, it would be inappropriate to duplicate definitions on several places. Perhaps the best solution would be to come up with
some kind of hyperlinking that would allow you to get to the appropriate place easily.

Thanks again for this feedback -- I really appreciate it!

Regards,

	Boris

> > Cheers,
> >
> > Abdo
> >
> 
> -----------------------------------------------
> Drs. Rinke Hoekstra
> 
> Email: hoekstra@uva.nl    Skype:  rinkehoekstra
> Phone: +31-20-5253499     Fax:   +31-20-5253495
> Web:   http://www.leibnizcenter.org/users/rinke
> 
> Leibniz Center for Law,          Faculty of Law
> University of Amsterdam,            PO Box 1030
> 1000 BA  Amsterdam,             The Netherlands
> -----------------------------------------------
> 
> 
> 
>

Received on Tuesday, 28 October 2008 16:27:14 UTC