Semantic Integration through Invariants

Michael Grüninger, Joseph Kopena
2005 The AI Magazine  
■ 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
more » ... loit 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. Articles
doi:10.1609/aimag.v26i1.1795 dblp:journals/aim/GruningerK05 fatcat:vn334irgzrht5fcnjvg63zbp6y