Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Menzel, Chris License
when quoting this document, please refer to the following
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: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
Related Scholarly Article:
Issue date: 2005
Date of publication: 2005


DROPS-Home | Fulltext Search | Imprint Published by LZI