Model-theoretic Approaches to Semantic Integration (Extended Abstract)