[Top] [All Lists]

Re: [ontolog-forum] Time representation

To: <ontolog-forum@xxxxxxxxxxxxxxxx>
From: <matthew.west@xxxxxxxxx>
Date: Thu, 24 Jan 2008 10:32:24 -0000
Message-id: <808637A57BC3454FA660801A3995FA8F064552EE@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Dear Colleagues
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx]On Behalf Of Pat Hayes 
[PC] > >  (3) two time intervals closed at the adjoining ends both overlap
> 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:
Which is essentially a 4D time algebra.


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


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)

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