[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Sat, 6 Oct 2007 21:23:27 -0500
Message-id: <p06230904c32df2c11fab@[]>
>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? ;)
>IKL is an extension of CL that has structured names for, and allows
>quantification over, propositions.    (01)

Strictly speaking, its an extension of CLIF, the KIF-like dialect of 
CL. Even more strictly speaking, its a modification of an extension 
of CLIF, since it uses one syntactic form differently (the guarded 
quantifier in CLIF is a numerical quantifier in IKL) but this is 
really an upgrade to CLIF, and we will as quickly as possible modify 
CLIF in the same way in a ISO corrigendum.    (02)

Pat    (03)

IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (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>