Dear Ed, (01)
I have to admit, it is confusing. First of all, I do not think that a unit of
measure is a quantity. I know that unit of measures are ultimately defined in
terms of quantities, but, to my understanding or perception, that is not the
same as that a unit of measure would be a quantity.
Second, I would like to learn more about the term "kind" as it is used in VIM.
Probably, then I will get to understand the use of the term better. Again, if
someone could send me a link, I would be very grateful. (02)
Best regards, Hajo (03)
________________________________ (04)
Van: uom-ontology-std-bounces@xxxxxxxxxxxxxxxx namens Ed Barkmeyer
Verzonden: vr 4-9-2009 19:29
Aan: uom-ontology-std
Onderwerp: Re: [uom-ontology-std] FW: Quantity kinds (05)
Sorry. What I wrote was probably more confusing. See correction below. (06)
Ed Barkmeyer wrote:
> Rijgersberg, Hajo wrote:
>
>> Dear all,
>>
>> Please allow me to make a remark about quantity kinds. Hopefully this
>discussion is appreciated; it is solely meant to be constructive, with the aim
>of working together to achieve a high-quality vocabulary.
>>
>> Let me get to the point. I think we should not define a separate class
>"quantity kind". "Kind" is an implicit part of the ontology language; classes
>are meant to model "kinds". We should not deviate from this principle, but
>exploit it.
>>
>> So not, for example:
>>
>> "length of my table" ---"has quantity kind"---> "length"
>> "length of my table" ---"is a"---> "quantity"
>> "length" ---"is a"---> "quantity kind"
>>
>> but:
>>
>> "length of my table" ---"is a"---> "length (quantity)"
>> "length (quantity)" ---"is a"---> "quantity"
>>
>>
> The problem is that we wish to call out certain subtypes of "quantity"
> as having interesting properties. For example, "unit of measure" -- "is
> a" -- "quantity"
> but NOT "unit of measure" -- "is an instance of" -- "quantity kind"
>
I should have written:
"unit of measure" -- "is a kind of" -- "quantity"
but NOT "unit of measure" -- "is a" -- "quantity kind"
> Every "quantity kind" is not only a subtype of quantity, but it must
> also satisfy: If K is a "quantity kind" and x and y are any two
> instances of K, then x and y are comparable.
>
> A 'quantity kind' is a classifier whose instances are classifiers of
> quantities (ontological 'kind's of quantity) that also satisfy the above
> requirement. If you find the use of 'kind' to be confusing in this
> regard, we could call it a 'quantity frazbot', but VIM uses the term
> "kind of quantity" with this intent.
>
> -Ed
>
> 'When I use a word,' Humpty Dumpty said in rather a scornful tone,
> 'it means just what I choose it to mean--neither more nor less.'
> -- Lewis Carroll (C.L. Dodgson), "Through the Looking Glass"
>
> (07)
--
Edward J. Barkmeyer Email: edbark@xxxxxxxx
National Institute of Standards & Technology
Manufacturing Systems Integration Division
100 Bureau Drive, Stop 8263 Tel: +1 301-975-3528
Gaithersburg, MD 20899-8263 FAX: +1 301-975-4694 (08)
"The opinions expressed above do not reflect consensus of NIST,
and have not been reviewed by any Government authority." (09)
_________________________________________________________________
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 (010)
<<winmail.dat>>
_________________________________________________________________
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 (01)
|