Semantic integration through invariants

Authors:
Michael Gruninger;Joseph B. Kopena
Affiliations:
-;-
Venue:
AI Magazine - Special issue on semantic integration
Year:
2005

Citing 4
Cited 8

Ontologies for integrating engineering applications

Journal of Computing and Information Science in Engineering
Semantic Web Services

IEEE Intelligent Systems
PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
The process specification language (PSL) theory and applications

AI Magazine

Evaluating ontology mapping techniques: An experiment in public safety information sharing

Decision Support Systems
Institutionalising ontology-based semantic integration

Applied Ontology
Multi-Agent Based Web Search with Heterogeneous Semantics

Agent Computing and Multi-Agent Systems
A First-Order Cutting Process Ontology for Sheet Metal Parts

Proceedings of the 2009 conference on Formal Ontologies Meet Industry
Foundational Process Relations in Bio-Ontologies

Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Ontology Verification with Repositories

Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Institutionalising ontology-based semantic integration

Applied Ontology
Towards a satisfactory conversion of messages among agent-based information systems

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

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, semi-automated and automated components may be used to create mappings between ontologies and perform translations.