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

Guus Schreiber wrote:

[..]

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

Typo: should have read "allValuesFrom(LengthUnit)
Assume LenghthUnit is defined as a subclass of Unit with instances such 
as m, cm, dm, mile, ichn, etc.

Guus

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

[..]

-- 
Free University Amsterdam, Computer Science
De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Tel: +31 20 444 7739/7718
E-mail: schreiber@cs.vu.nl
Home page: http://www.cs.vu.nl/~guus/