Model Theoretic Semantics for Information Integration