License: 
Creative Commons Attribution 4.0 International 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: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2005/42/
|
Go to the corresponding Portal |
Menzel, Chris
Theoretical Foundations
Basic Semantic Integration
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 in
ontology, 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 |
|
Collection: |
|
04391 - Semantic Interoperability and Integration |
|
Issue Date: |
|
2005 |
|
Date of publication: |
|
23.03.2005 |
