License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-422
URL: http://drops.dagstuhl.de/opus/volltexte/2005/42/

Menzel, Chris
Theoretical Foundations

Basic Semantic Integration

pdf-format:
Dokument 1.pdf (161 KB)


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:DSP:2005:42,
  author =	{Chris Menzel},
  title =	{Basic Semantic Integration},
  booktitle =	{Semantic Interoperability and Integration},
  year =	{2005},
  editor =	{Y. Kalfoglou and M. Schorlemmer and A. Sheth and S. Staab and M. Uschold},
  number =	{04391},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2005/42},
  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 Published by LZI