How is it possible to integrate databases that have ontologies written in incompatible languages, with different schemas, and with different data models?

Can we give formal definitions for ontology language, ontology integration, and ontology mapping?

- KIF, Ontolingua, Flora, RDF, etc. are formal logics.

- An ontolgy is a theory in a formal logic.

- But what is a logic?

- And how could we hope to translate between theories written in different
logics?

- Category theory provides ideas and techniques at the right level of
abstraction (which is
*very*high!).

- The theory of institutions formalizes the notion
of logic. Abstraction of the model theory and metamathematics of Tarski etc.

- Institution morphisms formalizes translations between logics.

*Very very*abstract, but is being used in the European CoFI project.

- Razvan Diaconescu has an elegant way to integrate theories (i.e. ontologies) in different logics using Grothendieck institutions.

More information on some of these topics can be found on the SEEK project page.

BACK | NEXT | MAIN |

Maintained by Joseph Goguen

Last modified: Fri Jul 25 21:03:54 PDT 2003