- From: Pat Hayes <phayes@ihmc.us>
- Date: Fri, 27 Jun 2008 11:56:06 -0500
- 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 http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=39175 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 http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip 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 http://www.ihmc.us/users/phayes/ikl/guide/guide.html -- --------------------------------------------------------------------- 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 http://www.flickr.com/pathayes/collections
Received on Friday, 27 June 2008 16:56:45 UTC