Formal Methods for the Analysis of Biomedical Ontologies | lit.salon