[Top] [All Lists]

Re: [ontolog-forum] Common Logic is now an International Standard

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Chris Menzel <cmenzel@xxxxxxxx>
Date: Sat, 6 Oct 2007 19:50:07 -0500
Message-id: <20071007005007.GA5052@xxxxxxxx>
On Sat, Oct 06, 2007 at 07:49:44PM -0400, Obrst, Leo wrote:
> What's the difference between CL and IKL? Can you characterize the
> differences? ;)    (01)

IKL is an extension of CL that has structured names for, and allows
quantification over, propositions.  Aside from enabling natural
representations of, e.g., context, belief, and other intentional
attitudes, being able to name and quantify over propositions also
provides you with a natural way of talking about and comparing
ontologies (e.g., "proposition P is true in ontology O1 but false in
ontology O2").  See the slides from Pat's ontolog-forum talk that Peter
cited for a nice exposition:    (02)

  http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2006_10_26    (03)

-chris    (04)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (05)

<Prev in Thread] Current Thread [Next in Thread>