SUO: Re: IFF example?
Patrick and others,
----- Original Message -----
From: "Patrick Cassidy" <pcassidy@bellatlantic.net>
Cc: <standard-upper-ontology@ieee.org>
Sent: Friday, May 02, 2003 8:41 AM
Subject: SUO: IFF example?
[snip]
> 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.
Marco Schorlemmer www.dai.ed.ac.uk/~marco and I would be happy to work with
you and other interested people on the issue of how the IFF can serve as a
framework for relating the modules of SUMO, OpenCyc and other object-level
ontologies, and for organizing their modules and microtheories into a
lattice of theories. Neither of us are experts on either SUMO or OpenCyc,
but we are certainly interested in the issue of ontology mapping. We are
particularly interested in using the application of Information Flow-based
ontology mapping methodology to convince the SUO WG of the potentially
practical value of the approach taken in the IFF.
Robert E. Kent
rekent@ontologos.org