[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 12:05:05 -0700
Message-id: <2ACCDBD72DC046348C7C038A54A52748@rhm8200>
----- Original Message ----- 
From: "Christopher Menzel" <cmenzel@xxxxxxxx>
> IKL is a logical language (well, a class of logical languages) for  
> representing declarative information rigorously.  Like standard first- 
> order logic, it is not a "tool" in the sense of, say, Protege that  
> comes with built-in mechanisms for representing and reasoning upon  
> class hierarchies and the like that might help one to think about and  
> formalize the structure of information in a specific domain.  (I take  
> it you envision mKR as a tool in this sense as well, its lack of both  
> a semantics and an underlying reasoning mechanism notwithstanding.)    (01)

I consider any language to be a tool for thinking.
IKL, as a logical language, provides a tool for reasoning.
I put IKL in the class of languages like Prolog.    (02)

Dick McCullough
http://mkrmke.org    (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>