John, (01)
In your email below you open with this: (02)
> I just want to summarize, highlight, and emphasize:
>
> The majority of all logic-based tools on earth support Common
> Logic. That includes every tool written for the Semantic Web.
>
> The reason is simple: CL is a superset of every version of
> logic that is defined in terms of any subset of CL semantics.
> That includes *every* tool that has been implemented for the
> Semantic Web. (03)
and you close with this: (04)
> Bottom Line: The overwhelming majority of tools for logic and
> reasoning can be used with Common Logic. The IKL extensions to
> CL are sufficient to include all the tools developed for systems
> as advanced as Cyc. (05)
You seem (to me...) to be saying that every tool for a subset of
CL or IKL can support full CL. Can you clarify how that can be?
It seems rather at odds with the usual implications of subsetting
languages, where tools for subsets need to be expanded to handle
full languages. I am intrigued by what seem to be subtle
redefinitions of terms such as "subset/superset" or "include ...
tools". (06)
TIA! (07)
Christopher (08)
----- Original Message -----
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
To: <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Monday, December 27, 2010 11:16 PM
Subject: Re: [ontolog-forum] [ontology-summit] Invitation to a
brainstorming call for the 2011 Ontology Summit (09)
Mike and Chris, (010)
I just want to summarize, highlight, and emphasize: (011)
The majority of all logic-based tools on earth support Common
Logic. That includes every tool written for the Semantic Web. (012)
The reason is simple: CL is a superset of every version of logic
that is defined in terms of any subset of CL semantics. That
includes *every* tool that has been implemented for the Semantic
Web. (013)
MFU:
> ... more and more companies are feeling that they should use OWL
> because there is a perception of more tools, greater support,
> less vendor-lockin and a larger community. (014)
The CL community includes the Semantic Web community as a proper
subset. Please remember that Pat Hayes worked with Guha and others
to specify the semantics of RDF. That semantics is based on the
model theory that Pat and Chris Menzel developed for Common Logic.
See (015)
http://www.w3.org/TR/rdf-mt/
RDF Semantics (016)
http://www.w3.org/TR/2003/NOTE-lbase-20031010/
LBase: Semantics for Languages of the Semantic Web (017)
CM:
> It is a mistake to think of Common Logic as some sort of
> competitor to OWL, RDF, etc. One of the central goals of Common
> Logic's design was to serve as an overarching abstract logical
> framework in which the underlying commonalities and differences
> between concrete frameworks could be easily identified. (018)
Yes indeed. (019)
Furthermore, there is a superset of CL, called IKL, which adds one
extra operator to CL. And that version is even more general.Doug
Lenat stated explicitly that IKL is capable of representing the
full CycL language. (020)
See the following report for round-trip tests of IKL as the
interchange language for interoperability of CycL and several
other very general knowledge representation languages. This is
the final report of the Evaluation Working Group of the IKRIS
Project (Interoperable Knowledge Representation for Intelligence
Support): (021)
http://nrrc.mitre.org/NRRC/Docs_Data/ikris/IKRIS_Evaluation_Report_31Dec06.doc (022)
For the IKL Specifications, see (023)
http://www.ihmc.us/users/phayes/IKL/SPEC/SPEC.html (024)
For the IKL User's Guide, see (025)
http://www.ihmc.us/users/phayes/ikl/guide/guide.html (026)
Bottom Line: The overwhelming majority of tools for logic and
reasoning can be used with Common Logic. The IKL extensions to CL
are sufficient to include all the tools developed for systems as
advanced as Cyc. (027)
John (028)
_________________________________________________________________
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 (029)
_________________________________________________________________
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 (030)
|