License
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/
Go to the corresponding Portal


Menzel, Chris
Theoretical Foundations

Basic Semantic Integration

pdf-format:
04391.MenzelChris1.Paper.42.pdf (0.2 MB)


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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI