I agree with what John has said. I have a question about one issue: (01)
[jfs] > N3 is useful for those subsets that can abide by its limitations,
but full FOL is necessary to support the SQL WHERE clause, SUMO requires
Common Logic, Cyc requires the IKL extensions to CL, and SBVR (Semantics of
Business Vocabulary and Business Rules) also requires the IKL extensions. (02)
> Therefore, the lingua franca for translations among all the logics would
require at least the expressive power of Common Logic and preferably IKL. (03)
Agreed that before it can support translations among ontologies, an FO needs
to be expressed in FOL and preferably IKL. The immediate problem with that
is the absence of free easy-to-use utilities such as are available for OWL.
That is the reason that I have started the COSMO as an OWL ontology, knowing
that it needs to be expressed in FOL before it can function as an FO. That
is also one of the tasks that the FO project would have tackled - deciding
on a particular implementation of FOL that would be the reference reasoning
method (even if others were developed for whatever reason, that had the same
computational effects) - and developing utilities making that easy to use.
So the question: what FOL reasoner would be want to use if FOL is going to
be the format even for the first stage of development? It would be very
helpful to have some FOL tool that could be installed and used easily.
Suggestions? (04)
Once that has been decided, there are still other issues concerning the
reasoning method, but those can wait. (05)
Pat (06)
Patrick Cassidy
MICRA, Inc.
908-561-3416
cell: 908-565-4053
cassidy@xxxxxxxxx (07)
_________________________________________________________________
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 (08)
|