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

[Christopher Menzel <cmenzel@xxxxxxxx>]

On Jun 2, 2009, at 7:30 PM, Richard H. McCullough wrote:

JK

 

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)