PH>Dimensional analysis? Writing general code to convert between units?
>
> I would say that 'meter' denotes a function from lengths to
> numbers, and one meter is the length, such that the value of
> that function when applied to it, >is the number 1:
>
>(the (x) (= (meter x) 1) )
>
>And by the way, (= meter metre) (01)
I like that analysis -- especially because it does not introduce
any ontological notions that are not already present in logic
and elementary math. (02)
IJ> To have the value 1 is also to have a value. On the other
> hand, a value without a unit is just a pure mathematical
> number. I think Graybeal's distinction should be replaced by
> the following:
> 0) Base units
> 1) Values of base units. (03)
I also like that analysis. But it has to be extended to angles,
since we have to support multiple functions that map angles to
numbers: degree and radian. (04)
John Sowa (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
Shared Files: http://ontolog.cim3.net/file/work/UoM/
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard (06)
|