Describir: Towards a Logic−based Assessment of the compatibility of UMLS sources