Semantic interactive ontology matching: synergistic combination of techniques to improve the set of candidate correspondences.