Dear David, (01)
Personally, I think it's too early to speak about consensus. The
vocabulary is very close to VIM now, too close I think; there may/might
be good reasons to depart from VIM on some points for reasons of
practical usage. I think you pass over this to easily now. (02)
I do think there is consensus about the core of the vocabulary, and that
that should be based on VIM. But the model is too extensive now, to my
opinion, with in particular too many quantity classes. It's not clear to
me why they are required. (03)
Maybe the above is what you mean and where the discussion continues?
Again, my words are only meant to be constructive; hopefully this
discussion is appreciated. (04)
Best regards, Hajo (05)
-----Original Message-----
From: uom-ontology-std-bounces@xxxxxxxxxxxxxxxx
[mailto:uom-ontology-std-bounces@xxxxxxxxxxxxxxxx] On Behalf Of David
Leal
Sent: 11 September 2009 11:27
To: uom-ontology-std
Subject: Re: [uom-ontology-std] returning to scales (06)
Dear All, (07)
The "Moving Forward on the UoM Standard" events are timely because there
seems to be a consensus around "Ed's synthesys" - i.e. the
interpretation of the terms "quantity" and "kind of quantity" as Q1, Q2,
Q3, Q4 (which are summarised at the bottom of Ed's e-mail of Fri, 14 Aug
2009 15:45:38-0400, and documented on the Wiki). (08)
We do not yet have a similar consensus on "scale". An exchange of
e-mails, largely involving Ed, Ingvar and me, reached a fuzzy concensus
that it is mapping in some direction between a "kind of quantity" and
something (perhaps a set of numbers or quantity values). To go further
we need to discuss:
1) which type of "kind of quantity" - Q2 kind of quantity (as class of
particular quantity) or Q4 kind of quantity (as class of magnitude);
2) which direction;
3) whether a "kind of quantity" is mapped to a set of numbers or set of
quantity values, where a quantity value is a (number, reference) pair. (09)
My suggestions are as follows: (010)
1) A scale mapping should involve Q4 rather than Q2. This is because a
mapping involving Q2 maps particular quantities whereas a mapping
involving
Q4 maps their equivalence classes. A mapping for Q2 can be easily
derived from a mapping for Q4. (011)
2) If we define a mapping from set A to set B as the triple (A, B, {some
(a,b), where a in A and b in B}), then a mapping completely defines its
inverse. However, many properties of a mapping cannot be derived from
the properties of its inverse. "Scale" can be defined as a mapping in
one direction, and "inverse scale" as a mapping in the other. I have no
respectable reason for prefering one direction over the other. (012)
I have a sordid reason for prefering a scale to be defined with the kind
of quantity as its domain - it gives a neat representation in RDF. Hence
an anonymous node that is the boiling point of water is in N3 [:celsius
"100"] . (013)
3) Mappings with sets of quantity values and with sets of numbers both
exist. Hence we can define a mapping celsius-qv, such that: (014)
celsius-qv(my temperature) = (234, celsius) or celsius-qv((234,
celsius)) = my temperature (according to choice of direction - see (2)
above) (015)
and a mapping celsius-n, such that: (016)
celsius-n(my temperature) = 234 or celsius-n(234) = my temperature
(according to choice of direction - see (2) above) (017)
I suggest that we should give both mappings names and call one "quantity
value scale" and the other "numeric scale". One can be derived from the
other. (018)
Best regards,
David (019)
============================================================
David Leal
CAESAR Systems Limited
registered office: 29 Somertrees Avenue, Lee, London SE12 0BS registered
in England no. 2422371
tel: +44 (0)20 8857 1095
mob: +44 (0)77 0702 6926
e-mail: david.leal@xxxxxxxxxxxxxxxxxxx
web site: http://www.caesarsystems.co.uk
============================================================ (020)
_________________________________________________________________
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 (021)
_________________________________________________________________
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 (022)
|