Maybe "experience" is a
I think JK wants to actually "use" the IKL
perhaps as a "thinking" tool?
That is a problem, since Pat Hayes tells me
are no IKL tools of any kind -- no compiler,
syntax checker, IDE, and apparently no mailing
----- Original Message -----
Sent: Wednesday, June 03, 2009 8:42
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
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.