review of n-ary extension

Hi,

  Here is my review of the n-ary extension document

http://www.w3.org/2007/OWL/wiki/Data_Range_Extension:_Linear_Equations

 

 

1.      Overview

Awkward: "Predicates can only relate values data properties which are
rooted in the same individual"

 

2.      Examples

Remove 'it is clear that' "From these assertions it is clear that the
boiling point of water is greater than its melting point"

 

Change"This physical law cannot be expressed without a datarange with
two free variables:"to the affirmative and describe the required
elements:

"This physical law can be expressed with a datarange with two free
variables x and y, representing the melting and boiling point,
respectively."

 

I would prefer if the examples walked you through the axiom, step by
step, explaining the components. Introduce the role of the
DataAllValuesFrom, DataComparison, Arguments and the comparison
operator. 

 

Drug example raises questions: Give the use case first - that a safe
dose is less than 2x the weight of the patient. Then give the axiom that
represents it. Currently, the explanation of the axiom says that the
safe "does"-> "dose" is 2mg/kg, but if that's the case, I don't see it.
What's the relationship between tookdrugInMilligrams and totalDose? The
naming appears inconsistent - why doesn't' totalDose contain the unit,
or vice versa, tookDrugInMilligrams is 'dose'). This example needs to be
broken down and better explained with some hand holding (sadly, I'm not
Bijan *smart* ;-)

 

It also becomes unclear why the previous example used variables x&y and
now we see dataproperties in the arguments and comparison relation. This
seems inconsistent without an informative discussion (either in the
introduction, or as we're walked through the examples). Perhaps we
should have an example for each of the 3 DataComparison.

 

 

3.1 Functional Syntax

ScaledComparison - needs white space between Arguments and
ComparisonRelation

 

 

Cheers,

 

-=Michel=-

 

Michel Dumontier

Assistant Professor of Bioinformatics

Carleton University

http://dumontierlab.com <http://dumontierlab.com/>