Creative Commons Attribution 4.0 license (CC BY 4.0)when quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.04391.4
URN: urn:nbn:de:0030-drops-422
URL: https://drops.dagstuhl.de/opus/volltexte/2005/42/
Menzel, Chris
Theoretical Foundations
Basic Semantic Integration
| pdf-format: |
|
Abstract
The use of highly abstract mathematical frameworks is essential for building the sort of theoretical foundation for semantic integration needed to bring it to the level of a genuine engineering discipline. At the same time, much of the work that has been done by means of these frameworks assumes a certain amount of background knowledge in mathematics that a lot of people working inontology, even at a fairly high theoretical level, lack. The major purpose of this short paper is provide a (comparatively) simple model of semantic integration that remains within the friendlier confines of first-order languages and their usual
classical semantics and logic.
BibTeX - Entry
@InProceedings{menzel:DagSemProc.04391.4,
author = {Menzel, Chris},
title = {{Basic Semantic Integration}},
booktitle = {Semantic Interoperability and Integration},
pages = {1--13},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {4391},
editor = {Y. Kalfoglou and M. Schorlemmer and A. Sheth and S. Staab and M. Uschold},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2005/42},
URN = {urn:nbn:de:0030-drops-422},
doi = {10.4230/DagSemProc.04391.4},
annote = {Keywords: ontology , semantic integration , first-order logic , model theory , SCL}
}
| Keywords: | ontology , semantic integration , first-order logic , model theory , SCL | |
| Seminar: | 04391 - Semantic Interoperability and Integration | |
| Issue date: | 2005 | |
| Date of publication: | 23.03.2005 |
