Re: An approach to describing the relationships betweenunits-of-measure

["Roger L. Costello" <costello@mitre.org>]

Hi Folks,

[Thanks John, Manos, and Pete.]

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

Does this list capture everything?  

I am especially interested in your thoughts on this one:

    canonical(range(kilometer)) --> Formula

Do you agree with it?

Here's how to interpret the above functions:

    baseUOM(kilometer) --> meter

"baseUOM is a function which maps a UOM to its standard
 reference UOM.  For example, the baseUOM of kilometer
 is meter."

    subPropertyOf(kilometer) --> uom

"kilometer is a subproperty of uom."

    domain(kilometer) --> Distance

"domain indicates the class that the property is associated with.
 For example, kilometer is a property of the Distance class."

    range(kilometer) --> xsd:decimal

"range indicates the (range of) values of the property.
 For example, the value of kilometer is a decimal."

    canonical(range(kilometer)) --> Formula

"canonical is a function which maps the value of a UOM to
 a Formula."

Note: I do not address here how to express a Formula.  That will
be addressed later (once we agree to the above list).

"precision indicates the minimum precision that can be expected 
 from executing the Formula."

Comments?  Thoughts?  

/Roger