Title: Formal Methods for the Analysis of Biomedical Ontologies