Exploiting Prolog and NLP Techniques for Matching Ontologies and for Repairing Correspondences