Re: [ontolog-forum] Time representation

[<matthew.west@xxxxxxxxx>]

Dear Colleagues

-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx]On Behalf Of Pat Hayes 

<snip> 

[PC] > >  (3) two time intervals closed at the adjoining ends both overlap
and
> meet (I think this is not permitted in Allen's algebra)
>
[PH] > Right, it is not. This would wreck all the
> algebraic time-interval reasoners. Why do you
> want to do this?
>
I would rather modify the reasoners

I should perhaps have said all the algebraic time *ontologies*. Its not primarily a point about the efficiency of reasoning. (But in any case, that is easy to say, but not nearly so easy to do when the underlying algebra has 4 times as many generators, as it will have in your case.) 

MW: Well since algebras have come up, I think I should mention a contribution John Stell and I made:

A 4-Dimensionalist Mereotopology

http://www.matthew-west.org.uk/Documents/StellWestFOIS2004Final.pdf

 

Which is essentially a 4D time algebra.

Regards

Matthew West
Reference Data Architecture and Standards Manager
Shell International Petroleum Company Limited
Registered in England and Wales
Registered number: 621148
Registered office: Shell Centre, London SE1 7NA, United Kingdom

Tel: +44 20 7934 4490 Mobile: +44 7796 336538
Email: matthew.west@xxxxxxxxx
http://www.shell.com
http://www.matthew-west.org.uk/

 

 

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)