RE: [OEP] a Quantity pattern? [was: Re: [UNITS] FAQ : Constraints on data values range] from ewallace@cme.nist.gov on 2004-04-15 (public-swbp-wg@w3.org from April 2004)

From: <ewallace@cme.nist.gov>
Date: Thu, 15 Apr 2004 09:53:05 -0400 (EDT)
To: schreiber@cs.vu.nl, bernard.vatant@mondeca.com, michael.f.uschold@boeing.com
Cc: public-swbp-wg@w3.org
Message-Id: <200404151353.JAA05091@clue.msid.cme.nist.gov>

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

Received on Thursday, 15 April 2004 09:53:14 UTC