@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/entities/document/10.4230/DagSemProc.04391.4}, URN = {urn:nbn:de:0030-drops-422}, doi = {10.4230/DagSemProc.04391.4}, annote = {Keywords: ontology , semantic integration , first-order logic , model theory , SCL} }