Skicka posten per e-post: Formal axioms in biomedical ontologies improve analysis and interpretation of associated data