W3C home > Mailing lists > Public > public-semweb-lifesci@w3.org > June 2008

Re: [ontolog-forum] The Open world assumption shoe does not always fit - was: RE: Fwd: Ontolog invited speaker session - Dr. Mark Greaves on the Halo Project - Thu 2008.06.19

From: Pat Hayes <phayes@ihmc.us>
Date: Fri, 27 Jun 2008 11:56:06 -0500
Message-Id: <p06230902c48ac68afed7@[]>
To: Toby.Considine@gmail.com, "[ontolog-forum] " <ontolog-forum@ontolog.cim3.net>
Cc: "[ontolog-forum]" <ontolog-forum@ontolog.cim3.net>, semanticweb@yahoogroups.com, public-semweb-lifesci hcls <public-semweb-lifesci@w3.org>, semantic_web@googlegroups.com, welty@watson.ibm.com, "Toby Considine" <tobyconsidine@gmail.com>

At 10:57 AM -0400 6/27/08, Toby Considine wrote:
>As a new-comer in the semantic space, what is CL, where should I 
>start to read on it.

Sorry. Common Logic (CL) is a recent ISO standard


which defines a version of first-order logic specially designed for 
interchange on a network. It allows for various 'dialects'. You can 
have one copy of the standard for free downloaded from


Theres a bunch of history and related stuff at http://cl.tamu.edu/ 
which you might (or might not) find useful.

IKL is an extension of one CL dialect, CLIF, extended by the addition 
of proposition names of the form (that <sentence>), eg as in

(Believes John (that (GoodLooking Sue)))

and also by a convention where any character string can be treated as 
a function of no arguments whose value is whatever the string denotes 
when its used as a name. Sounds weird, but it lets the logic reason 
about its own naming conventions, which is very handy.

For a readable intro to IKL (and therefore, by the way, to CLIF) , try


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
http://www.ihmc.us/users/phayes      phayesAT-SIGNihmc.us
Received on Friday, 27 June 2008 16:56:45 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:52:36 UTC