- From: Uli Sattler <sattler@cs.man.ac.uk>
- Date: Wed, 5 Nov 2008 14:32:58 +0000
- To: mak@aifb.uni-karlsruhe.de
- Cc: OWL Working Group WG <public-owl-wg@w3.org>
Hi Markus, and thanks for your helpful comments.
On 4 Nov 2008, at 18:02, Markus Krötzsch wrote:
> Below is my review for
>
> http://www.w3.org/2007/OWL/wiki/Data_Range_Extension:_Linear_Equations
>
> This addresses Action 237.
>
> Markus
>
>
> In addition to what Boris and Bernardo already said, I have the
> following
> comments:
>
> * "one might be wish" -> "one might wish"
> * "can be used to defined classes" -> "can be used to define classes"
thanks, done
>
> * Section 2?
will come soon
>
> * Sec 3.1, first set of production rules:
> ** Non-terminal "rational" should be capitalised.
> ** I don't get the purpose of
> 'times' '(' [ rational ] Variable | Variable ')'
> Why not just say:
> 'times' '(' [ Rational ] Variable ')'
> ** Similarly with the following:
> 'plus' '(' Term { Term } | Term ')'
> which could be
> 'plus' '(' Term { Term } ')'
thanks, done all
>
> * I don't understand what Sec. 3.3 tries to convey. Maybe make an
> editors note
> "under construction"?
indeed, we should and have.
>
> * What happened to the various types of comparisons in Sec 3.4?
is on its way
>
> * I agree with Boris regarding the issues with the semantics
> definition for
> variable comparisons. A unified treatment of the various comparisons
> would
> probably fix this en route.
>
I will answer to this in my answer to Boris' mail
> Overall, the document would benefit from more verbose explanations
> to better
> explain the purposes and intuitions of the technical definitions.
>
they will come soon as well, cheers, Uli
>
> --
> Markus Krötzsch
> Institut AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
> phone +49 (0)721 608 7362 fax +49 (0)721 608 5998
> mak@aifb.uni-karlsruhe.de www http://korrekt.org
>
Received on Wednesday, 5 November 2008 14:33:04 UTC