Gravar-mail: Formal axioms in biomedical ontologies improve analysis and interpretation of associated data