I know of no foundational ontology that can adequately treat Relativity, let alone of dynamic phenomena.
I know of internal efforts in some foundational ontologies to better address frames of reference, for instance, but it's treatment of time is alone the traditional endurantist-perdurantist dichotomy. (These efforts being the result of user comments and complaints)
As for domain-specific ontologies, I know of no GR ontology or even a more general physics ontology. NASA has it's SWEET ontologies, of which I have some experience, and they have more than one class for time, as well as classes for reference frames, but I do not know if relativistic phenomena can be represented (I don't believe so).
There is, of course, extensive literature in philosophy of GR, which provide insights into different models for applied ontologies, including potential categories (classes).

On Wed, Apr 8, 2015 at 1:15 PM, Steve Ray (CMU) <steve.ray@xxxxxxxxxx> wrote:

I have been watching the discussion about Endurantism and Perdurantism with some caution over the past weeks, but I’m at last driven to ask a simple, pragmatic question:

 

Can anyone recommend an ontology that I could build on that handles relativistic time – specifically I’m talking about general relativity, not special relativity, meaning that I am concerned with capturing events involving clocks that are ticking at different rates (orbiting GPS clocks tick more slowly than similar clocks on earth’s surface, and a signal traveling from a GPS clock to earth moves from one time frame to the other). It’s bad enough to have to worry about assertions that extend over finite spans of time, but I need to think about who’s time frame I’m talking about.

 

Has anybody defined such an ontology?

 

 

- Steve

 

Steven R. Ray, Ph.D.

Distinguished Research Fellow

Carnegie Mellon University

NASA Research Park

Building 23 (MS 23-11)

P.O. Box 1
Moffett Field, CA 94305-0001

Email:    steve.ray@xxxxxxxxxx

Phone: (650) 587-3780

Cell:      (202) 316-6481

Skype: steverayconsulting

[画像:10yr-logo-sm]

 

_________________________________________________________________
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