Cecil, (01)
CL> I wish I knew more about how to really apply Common Logic
> and that there were tools readily available for it. (02)
People have been adapting tools that were developed for KIF,
the Knowledge Interchange Format, which was one of the
inspirations for Common Logic. SUMO, for example, is
implemented in KIF. Most KIF applications can be mapped
to CLIF with little or no change. (03)
But the semantics of Common Logic has been changed to accommodate
RDF and OWL, which require the option of being able to quantify
over functions and relations. Common Logic supports that option
while still retaining a first-order model theory and proof theory. (04)
XSB is a freely available logic-programming system that uses
classical negation. It is also very close to being a rich subset
of Common Logic, but I can't say for certain whether it is an
exact subset or whether it has some incompatible features.
Following is their home page: (05)
http://xsb.sourceforge.net/ (06)
The slides for my tutorial on controlled natural languages
for semantic systems cover some of ideas and recommendations.
The tutorial surveys a wide range of tools and systems that
have been implemented with varying degrees of success. The
main emphasis is on methodologies for using controlled NLs,
but the methods can be adapted to various applications: (07)
http://www.jfsowa.com/talks/cnl4ss.pdf (08)
At VivoMind, we have been developing a suite a tools. Some of
them will be open source, but the full suite will eventually
become a product. Right now, however, the tools and the
methodology for using them are still under active development. (09)
Our current business model is to use those tools to develop
software for specific contracts that pay the rent. But a great
deal more work is necessary to convert them into well documented
and maintained "shrink wrapped" products with a well documented
and supported methodology that people other than the developers
can use. (010)
John (011)
_________________________________________________________________
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 (012)
|