Formal axioms in biomedical ontologies improve analysis and interpretation of associated data.

Journal: Bioinformatics (Oxford, England)
Published Date: Apr 1, 2020

Abstract

MOTIVATION: Over the past years, significant resources have been invested into formalizing biomedical ontologies. Formal axioms in ontologies have been developed and used to detect and ensure ontology consistency, find unsatisfiable classes, improve interoperability, guide ontology extension through the application of axiom-based design patterns and encode domain background knowledge. The domain knowledge of biomedical ontologies may have also the potential to provide background knowledge for machine learning and predictive modelling.

Authors

  • Fatima Zohra Smaili
    Computer, Electrical and Mathematical Sciences & Engineering Division (CEMSE), Computational Bioscience Research Center (CBRC), King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi Arabia.
  • Xin Gao
    Department of Computer Science, New Jersey Institute of Technology, Newark, New Jersey, USA.
  • Robert Hoehndorf
    Computational Bioscience Research Center, King Abdullah University of Science and Technology, 4700 KAUST, Thuwal, 23955-6900, Saudi Arabia. robert.hoehndorf@kaust.edu.sa.

Keywords

External Resources

Popular Topics
Recent Journals