Formal Methods for the Analysis of Biomedical Ontologies