SUO: IFF example?
I am one of those who doesn't have enough background
to know just what IFF would be good for, though I can
catch a glimmer from the discussions of the cognoscenti.
I think it would be very valuable if IFF were able
to provide a standardized manner for representing
classes and especially relations and defining axioms
in a way that would help automate translation of one
ontology to another, where the ontologies may
focus on different areas, or have different surface
representations, but are logically consistent. The
task of organizing logically inconsistent ontologies --
or John's lattice of theories -- is also important, but
I would like to first focus on the task of finding
translations ("mappings"?) between logically consistent
ontologies (or portions of them).
Is it possible for someone working with IFF to
prepare a very simple ("as simple as possible, but
no simpler") example of how IFF could be used to
translate between a small fragment of two ontologies,
say between OpenCyc and SUMO? If an IFF-er is
willing to try, I would be happy to make suggestions
as to what areas to try to translate.
I believe that SUMO and OpenCyc are in fact not
logically consistent overall, but there may be portions
that are consistent, or can be made so with small
modifications.
Pat
=============================================
Patrick Cassidy
MICRA, Inc. || (908) 561-3416
735 Belvidere Ave. || (908) 668-5252 (if no answer)
Plainfield, NJ 07062-2054 || (908) 668-5904 (fax)
internet: cassidy@micra.com
=============================================