Basic Semantic Integration

Author Chris Menzel



PDF
Thumbnail PDF

File

DagSemProc.04391.4.pdf
  • Filesize: 161 kB
  • 13 pages

Document Identifiers

Author Details

Chris Menzel

Cite AsGet BibTex

Chris Menzel. Basic Semantic Integration. In Semantic Interoperability and Integration. Dagstuhl Seminar Proceedings, Volume 4391, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
https://doi.org/10.4230/DagSemProc.04391.4

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.
Keywords
  • ontology
  • semantic integration
  • first-order logic
  • model theory
  • SCL

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail