Re: ACTION 237: review for

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
>