Soundness of Schema Matching Methods