uom-ontology-std
[Top] [All Lists]

Re: [uom-ontology-std] uom-ontology-std - strawman UML

To: ingvar_johansson <ingvar.johansson@xxxxxxxxxxxxx>
Cc: uom-ontology-std <uom-ontology-std@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Tue, 11 Aug 2009 14:49:56 -0500
Message-id: <161FE646-1304-4F23-BA0A-39FDD1296D2B@xxxxxxx>

On Aug 11, 2009, at 1:04 PM, ingvar_johansson wrote:    (01)

> Pat Hayes wrote:
>
>> On Aug 11, 2009, at 5:51 AM, ingvar_johansson wrote:
>
>>> 1. Ratio scales, interval scales, and ordinal scales require  
>>> different
>>> formalisms.
>>
>> Surely not. We plan to produce an ontology all written in one  
>> formalism.
>>
>> Let me test my understanding of these terms.
>
> I can tell you how I have been using the terms, which I think is in
> conformity with much philosophy of science writing on these issues.  
> But I
> can't promise that it is in conformity with everything that is written
> today.
>
>> A scale is a set of items used to represent measurements.
>
> I would say: 'a set of NUMERALS+UNIT used to represent properties,
> amounts, measurements or observations'. Even realists (not only
> operationalists and pragmatists) accept scales.    (02)

Well, Im not so concerned with philosophical scruples, but I wonder at  
the notion that every scale has a unit and must use numerals. Is it  
really necessary to assume this?    (03)

>
>> An ordinal scale is a scale with a total order on its elements.
>
> I would say: 'a scale with ONLY a LINEAR order on its elements'.    (04)

Total = linear; and allowing there to be unused extra structure is  
just good mathematical style. It would be very hard to establish that  
something were an ordinal scale if it were required to have no other  
structure than the ordering.    (05)

>
>> An interval scale is a scale with a difference function from pairs of
>> scale items to ... (what? Real numbers?
>
> I would say: an interval scale is from a formal point of view an  
> ordinal
> scale plus a function that tells what is to be regarded as EQUALLY  
> LARGE
> INTERVALS in the order.    (06)

Interesting. So let me press this point a little. Take this example:  
The scale (1 2 3 4 5 6 7 8) where we know that (12) = (4 5) = (7 8)   
and also that (2 3) = (5 6), but we know no other identities  
concerning equally large. Is that an interval scale?
>
>> Some other scale?  Could there
>> be an interval scale in which differences were restricted to natural
>> numbers, for example?).
>
> In my opinion: yes.    (07)

OK, good.
>
>> A ratio scale is a scale which has a zero element and a  
>> multiplication
>> operation by rational numbers.
>
> If it is a scale in physics, then the zero element has from a physical
> point of view to represent an ABSOLUTE zero of the quantified  
> dimension in
> question. The interval scales of Celsius and Fahrenheit have a zero
> element, but these are completely conventional.    (08)

Oh sure, I meant a zero in the multiplication operation, not an  
arbitrary scale point.    (09)

>
> With your formal interests, I think you may benefit a lot from  
> looking at
> Henry Kyburg's    (010)

Henry does seem to keep cropping up. He was my departmental chair at  
Rochester, and later a colleague at IHMC. I have looked at this many  
years ago but I should re-read it, indeed, thanks for the reminder.    (011)

> "Theory and Measurement" (published 1984, but reprinted now
> 2009 by Cambridge UP)    (012)

Pat    (013)



_________________________________________________________________
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    (014)

<Prev in Thread] Current Thread [Next in Thread>