A Semi-Automatic Tool for Merging Bio-Ontologies