Gravar-mail: Logic-based assessment of the compatibility of UMLS ontology sources