Mike and Chris, (01)
I just want to summarize, highlight, and emphasize: (02)
The majority of all logic-based tools on earth support Common Logic.
That includes every tool written for the Semantic Web. (03)
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. (04)
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. (05)
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 (06)
http://www.w3.org/TR/rdf-mt/
RDF Semantics (07)
http://www.w3.org/TR/2003/NOTE-lbase-20031010/
LBase: Semantics for Languages of the Semantic Web (08)
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. (09)
Yes indeed. (010)
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. (011)
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): (012)
http://nrrc.mitre.org/NRRC/Docs_Data/ikris/IKRIS_Evaluation_Report_31Dec06.doc (013)
For the IKL Specifications, see (014)
http://www.ihmc.us/users/phayes/IKL/SPEC/SPEC.html (015)
For the IKL User's Guide, see (016)
http://www.ihmc.us/users/phayes/ikl/guide/guide.html (017)
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. (018)
John (019)
_________________________________________________________________
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 (020)
|