[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Wed, 3 Jun 2009 09:52:26 -0700
Message-id: <F3DD4764123342B19869F96FC9B39CA4@rhm8200>
Maybe "experience" is a better word.
I think JK wants to actually "use" the IKL language,
perhaps as a "thinking" tool?
That is a problem, since Pat Hayes tells me that there
are no IKL tools of any kind -- no compiler, interpreter,
syntax checker, IDE, and apparently no mailing list.
Dick McCullough
----- Original Message -----
Sent: Wednesday, June 03, 2009 8:42 AM
Subject: Re: [ontolog-forum] IKL mailing list for discussions?

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>