Federating the Kingdoms of
How is it possible to integrate databases that have ontologies written in
incompatible languages, with different schemas, and with different data
Can we give formal definitions for ontology language, ontology integration,
and ontology mapping?
So Grothendieck institutions over suitable morphisms between logics provide an
answer that seems quite workable, both theoretically and practically.
- 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
- 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
More information on some of these topics can be found on the SEEK project page.
Maintained by Joseph Goguen
Last modified: Fri Jul 25 21:03:54 PDT 2003