Formal axioms in biomedical ontologies improve analysis and interpretation of associated data - Smaili, F Z; Gao, X; Hoehndorf, R (Bioinformatics, 2020)