Semantic Integration Through Invariants