RE: [OEP] a Quantity pattern? [was: Re: [UNITS] FAQ : Constraints on data values range]

Two comments on Guus' quantity/unit pattern example:

<represented here in reformatted form for readability>

ObjectProperty(diameterValue domain(Wheel) range(LengthQuantity))
Class(Quantity)
DatatypeProperty(value  domain(Quantity) range(xsd:decimal))
DatatypeProperty(unit domain(Quantity) range(Unit))
Class(LengthQuantity 
         subClassOf(Quantity) 
                      Restriction(unit, allValuesFrom(LengthQuantity))
)

Individual( myWheel 
 type(Wheel) 
 diameterValue(type(LengthQuantity)  value(15)  unit(cm))
)

Shouldn't the Restriction in the LengthQuantity definition actually be on 
allValuesFrom(LengthUnit)
 where :
Class(LengthUnit
	subClassOf(Unit)
         Restriction unionOf (mm, cm, km, inch, feet, mile ...)
)
Class(Unit)

and shouldn't LengthQuantity have a further Restriction on value as
follows:
         Restriction (value allValuesFrom(xsd:nonNegativeInteger))?

-Evan