Re: [ontolog-forum] Discussion re reasoning about Time and State with RE

[Melvin Carvalho <melvincarvalho@xxxxxxxxx>]

On 20 August 2014 01:55, David Whitten <whitten@xxxxxxxxxx> wrote:

By the by, there is also some discussion about this on news.ycombinator.com

And here

https://groups.google.com/forum/#!msg/api-craft/imWA_qVXD74/9lVmr97FGC8J

 

https://news.ycombinator.com/item?id=8198946

I'm not sure Logic is strictly causality. I expect Inference in Logic is a better match to causality.

The establishment of axioms and rules seems to be support for causality, but not necessarily

causality itself.

Good point, will ponder! :)

 

On Tue, Aug 19, 2014 at 7:31 PM, Melvin Carvalho <melvincarvalho@xxxxxxxxx> wrote:

On 20 August 2014 01:17, David Whitten <whitten@xxxxxxxxxx> wrote:

There is an interesting discussion re reasoning about Time and State
with REST interfaces
at this URL:

http://teddziuba.github.io/2014/08/18/the-s-in-rest/


as a teaser, the idea is that just because we get a reference to data
in the form of a URL, there is no guarantee that the data referenced
is unchanging.  The example the article talks about is a product being
sold, and the URL returns the current price.  But accounting systems
(especially when money has been spent) don't want to know the current
price, they want to know the price at the time the product was
purchased. And the tax at that time, etc.

So reasoning about information that is changing with time requires a
way to tie the information to a particular time.  Which requires a lot
of internal information to be externalized so the consumer of the web
service can use the information in the way it needs to be used.

What does the group think?

Funnily enough I was just reading that article.

For this I think of Kant and the a priori forms of sensibility, space, time and causality.

RDF is a description language, and it corresponds to, space.

Time is the changing notion, it corresponds to reading and writing and is quite hard to model in RDF alone.

Logic seems to me to correspond to causality.

In Joyce's Ulysses he changes space into the visible, and time into the audible.  It's almost like time and music are related. 

So given this, I think that ontologies and description frameworks need not worry too much about time / state, it seems to be another layer ...

 

David Whitten
713-870-3834

_________________________________________________________________
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

_________________________________________________________________
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
 

_________________________________________________________________
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
 

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