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