Semantic Integration through Invariants

Authors

  • Michael Gruninger
  • Joseph B. Kopena

DOI:

https://doi.org/10.1609/aimag.v26i1.1795

Abstract

A semantics-preserving exchange of information between two software applications requires mappings between logically equivalent concepts in the ontology of each application. The challenge of semantic integration is therefore equivalent to the problem of generating such mappings, determining that they are correct, and providing a vehicle for executing the mappings, thus translating terms from one ontology into another. This article presents an approach toward this goal using techniques that exploit the model-theoretic structures underlying ontologies. With these as inputs, semiautomated and automated components may be used to create mappings between ontologies and perform translations.

Downloads

Published

2005-03-15

How to Cite

Gruninger, M., & Kopena, J. B. (2005). Semantic Integration through Invariants. AI Magazine, 26(1), 11. https://doi.org/10.1609/aimag.v26i1.1795

Issue

Section

Articles