A Formal Investigation of Mapping Language for Terminological Knowledge
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 576-580.
Abstract
The need to represent mappings between different ontologies has been recognized as a result of the fact that different ontologies may partially overlap, or even represent the same domain from different points of view. Unlike ontology languages, work on languages to represent ontology mappings has not yet reached a state where a common understanding of the basic principles exists. In this paper we propose a formal comparison of existing mapping languages by translating them into distributed first order logic. This allows us to analyze underlying assumptions and differences in the interpretation of ontology mappings.
@inproceedings{ijcai2005p48,
title = {A Formal Investigation of Mapping Language for Terminological Knowledge},
author = {Serafini, Luciano and Stuckenschmidt, Heiner and Wache, Holger},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {576--580},
year = {2005},
url = {https://ijcai.org/proceedings/2005/48},
}
TY - CPAPER TI - A Formal Investigation of Mapping Language for Terminological Knowledge AU - Serafini, Luciano AU - Stuckenschmidt, Heiner AU - Wache, Holger T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 576 EP - 580 UR - https://ijcai.org/proceedings/2005/48 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
