On Dec 15, 2009, at 5:23 PM, Christopher Menzel wrote: (01)
> On Dec 14, 2009, at 10:48 PM, John F. Sowa wrote:
>> ...
>> In fact, most of the differences between Common Logic and the old
>> KIF result from the requirements for making Common Logic support
>> the semantics of RDF.
>
> I believe that is in fact false but it *could* have been true. :-)
> In fact, by my recollection, the differences arose, first, from the
> realization that we needed to move to an abstract syntax that could
> encompass most any existing or proposed language and, second, the
> need for a completely type free syntax and semantics to accommodate
> the syntactic anarchy one finds on the web. Pat might recall
> differently, but I don't recall RDF playing any actual motivational
> role in CL's development and that it was a happy accident that RDF
> syntax could be so easily be represented as a CL (sub)dialect and
> that a semantics for RDF could be built so readily from ideas out of
> CL semantics. (02)
Chris is right, the CL thinking came first, though I wouldn't call the
RDF situation a happy *accident* exactly. We worked hard to make RDF
CL-compliant. BUt there has been some backflow from the RDF/semantic-
web world into CL, if only as a retrospective justification for the
design choices that we made, especially the type-free syntax which
turns out to have this wonderful property of being web-portable. (03)
Pat (04)
>
> -chris
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
> (05)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|