Soundness of schema matching methods