[Home] [By Thread] [By Date] [Recent Entries]
> Here is a description of kilometer: > > baseUOM(kilometer) --> meter > subPropertyOf(kilometer) --> uom > domain(kilometer) --> Distance > range(kilometer) --> xsd:decimal > canonical(range(kilometer)) --> Formula > precision(Formula) --> xsd:nonNegativeInteger kilometer is a function that accepts a Distance and produces a pure number? How odd. It seems that kilometer, if it is to be viewed as a function, must operate only on the unit of measure property without affecting the type of the value. If the domain is Distance, the range must be Distance; the difference is that the argument distance is expressed in some (unspecified above) unit of measure and the result distance is expressed in kilometers. Bob Foster
|

Cart



