Semantic Integration through Invariants