Ontology Correspondence via Theory Interpretation

We report on ongoing work to apply techniques of auto- mated theory morphism search in first-order logic to ontology match- ing and alignment problems. Such techniques are able to discover 'structural similarities' across di! erent ontologies by providing the- ory interpretations of one ontology into another. We sketch the techniques currently available for automating the task of finding theory interpretations in first-order logic and discuss possible extensions and modifications for other ontology languages such as description logics and modular ontology languages such as E-connections.