ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] FW: Next steps in using ontologies as standards

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Olken, Frank" <folken@xxxxxxx>
Date: Mon, 12 Jan 2009 11:08:00 -0500
Message-id: <FC8D4B532E74304C8B2389567F490D6109AD0C@xxxxxxxxxxxxxxxxxxxx>
Pat Hayes and Pat Cassidy,
 
These statements are only true for "Newtonian" conceptualizations of time.
Relativistic models of "space-time" require the specification of both spatial and
temporal locations.  Relativistic temporal models arise in astronomy, astrophysics,
high energy physics. 
 
In a purely computer science context see the classic paper by Leslie Lamport
on Time, Clocks, and the Ordering of Events in a Distributed System,
Communications of the ACM, vol. 21, no. 7, p. 558-565, July 1978
 
 
                    Frank Olken
                    folken@xxxxxxx


From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Pat Hayes
Sent: Sunday, January 11, 2009 11:51 AM
To: [ontolog-forum]; Patrick Cassidy
Subject: Re: [ontolog-forum] FW: Next steps in using ontologies as standards



On Jan 11, 2009, at 10:18 AM, Pat Hayes wrote:
When you say “Those various temporal theories can all be expressed in terms of three concepts: time-point, time-interval and duration.” , what do you mean by that?  Is being “expressed in terms of” used only for necessary and sufficient definitions?

No, I mean only that each theory uses only those three terms, or can be reformulated using only those (or in some cases only two of them.) Of course, since the theories have different axioms, they assign somewhat different meanings to them. 


Thinking more, this isn't really accurate. They all use only these three classes, but they also use various different relations, such as the timepoint and subinterval orderings and the various relations between points and intervals. So perhaps the typical number of concepts is more like six or seven than two or three.

PatH

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)

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