[Top] [All Lists]

Re: [ontolog-forum] mKR programming language

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Mon, 16 Mar 2009 23:45:38 -0500
Message-id: <272B0492-A84A-42A2-B223-1171F92A6B98@xxxxxxxx>
On Mar 16, 2009, at 5:13 PM, Richard H. McCullough wrote:
> mKR does describe actions, and reasoning about actions.    (01)

Actually, no, it does not.  That is what you *intend* the relevant  
expressions of mKR to mean, but mKR has no semantics (the intentions  
locked in your own head don't count), so there is nothing that makes  
it objectively the case for all users that mKR's expressions mean what  
you intend.  Compare the semantics for OWL.  There is a document that  
everyone can read to find out precisely the semantics of each of OWL's  
constructs.  Similarly, google around for "semantics of programming  
languages" for the same point vis-a-vis programming languages.  See,  
e.g., the book by Winskel (http://tinyurl.com/cnjo9j).    (02)

Chris Menzel    (03)

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    (04)

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