Sondness and completeness of semantic-based methods for schema matching