DagSemProc.04391.4.pdf
- Filesize: 161 kB
- 13 pages
Document
Basic Semantic Integration
Author
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 4391
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2005-03-23
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
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)
0PDF Downloads