[Top] [All Lists]

Re: [ontolog-forum] The Open world assumption shoe does not always fit -

To: Toby.Considine@xxxxxxxxx, "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: semanticweb@xxxxxxxxxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, Toby Considine <tobyconsidine@xxxxxxxxx>, public-semweb-lifesci hcls <public-semweb-lifesci@xxxxxx>, semantic_web@xxxxxxxxxxxxxxxx, welty@xxxxxxxxxxxxxx
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 27 Jun 2008 11:56:06 -0500
Message-id: <p06230902c48ac68afed7@[]>
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.
>    (01)

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

http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=39175    (03)

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

http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007(E).zip    (05)

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

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

(Believes John (that (GoodLooking Sue)))    (08)

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.    (09)

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

http://www.ihmc.us/users/phayes/ikl/guide/guide.html    (011)

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

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

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