Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Menzel, Chris License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-422
URL:


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 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
Seminar: 04391 - Semantic Interoperability and Integration
Issue date: 2005
Date of publication: 23.03.2005


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