Dear All, (01)
Ed asks:
>Per my previous "concept set",
> Q1 is 'particular quantity', the class of individual quantifiable
>properties of individual things (the tropes).
>Example: the length of my thumb (and no one else's thumb)
> Q2 is VIM 'kind of quantity', the class whose members are subtypes of
>Q1 in which all the individual properties are comparable.
>Example: length, seen as the class of properties to which "the length of
>my thumb" belongs.
> Q3 is '(quantity) magnitude', the class whose members are equivalence
>classes, each of which comprises all properties in Q1 that compare as equal.
>Example: the length magnitude called "5cm", which includes the length of
>my thumb, the height of my coffee cup, and so on.
> Q4 is UOM 'kind of quantity', the class whose members are subtypes of
>Q3 in which all the members of all the magnitude equivalence classes
>belong to the same Q2, the same VIM 'kind of quantity'.
>Example: length, seen as the class of magnitudes named "5cm" and "4
>miles" and the like.
> 'measurement unit' is a subclass of 'quantity magnitude', each
>measurement unit is a specific magnitude of a specific UOM 'kind of
>quantity'.
>
>This matches the terminology David's draft uses, except that he doesn't
>distinguish Q2 from Q4. Do we agree to this terminology? (02)
I agree with this, and have added the definitions of the four concepts
within "quantity" to the Wiki at
http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard#nid20L3 . I
have done a little wordsmithing in the definitions, and hope that Ed is
still happy with them. (03)
A brief note on how these concepts relate to the strawman UML diagrams is at
http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard#nid20LK . (04)
The difference between Q2 and Q4 is important and needs some thought. An
informal explanation of the difference is at
http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard#nid20LQ . (05)
Best regards,
David (06)
============================================================
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
============================================================ (07)
_________________________________________________________________
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 (08)
|