[Top] [All Lists]

Re: [ontolog-forum] IKL mailing list for discussions?

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Wed, 3 Jun 2009 10:42:25 -0500
Message-id: <F5E98736-60F0-4BA0-B745-0D1F8DB85950@xxxxxxxx>
On Jun 2, 2009, at 7:30 PM, Richard H. McCullough wrote:
It's a work in progress [some bugs, some omissions], but
    ke -ikl
translates mKR to IKL..
It will give you some insight into the IKL language.

Your translator can't possibly give insight into IKL when you are relying upon IKL's semantics to provide the missing semantics for mKR.  The IKL guide, together with the ISO Common Logic spec, are the places to go for insight into IKL.

Chris Menzel

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

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