Formal axioms in biomedical ontologies improve analysis and interpretation of associated data
KAUST DepartmentBio-Ontology Research Group (BORG)
Computational Bioscience Research Center (CBRC)
Computer Science Program
Computer, Electrical and Mathematical Sciences and Engineering (CEMSE) Division
Structural and Functional Bioinformatics Group
KAUST Grant NumberFCC/1/1976-04
Permanent link to this recordhttp://hdl.handle.net/10754/631015
MetadataShow full item record
This record has been merged with an existing record at: http://hdl.handle.net/10754/660553.
AbstractMotivation: There are now over 500 ontologies in the life sciences. Over the past years, significant resources have been invested into formalizing these 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. At the same time, ontologies have extended their amount of human-readable information such as labels and definitions as well as other meta-data. As a consequence, biomedical ontologies now form large formalized domain knowledge bases and have a potential to improve ontology-based data analysis by providing background knowledge and relations between biological entities that are not otherwise connected. Results: We evaluate the contribution of formal axioms and ontology meta-data to the ontology-based prediction of protein-protein interactions and gene-disease associations. We find that the formal axioms that have been created for the Gene Ontology and several other ontologies significantly improve ontology- based prediction models through provision of domain-specific background knowledge. Furthermore, we find that the labels, synonyms and definitions in ontologies can also provide background knowledge that may be exploited for prediction. The axioms and meta-data of different ontologies contribute in varying degrees to improving data analysis. Our results have major implications on the further development of formal knowledge bases and ontologies in the life sciences, in particular as machine learning methods are more frequently being applied. Our findings clearly motivate the need for further development, and the systematic, application-driven evaluation and improvement, of formal axioms in ontologies
CitationSmaili FZ, Gao X, Hoehndorf R (2019) Formal axioms in biomedical ontologies improve analysis and interpretation of associated data. Available: http://dx.doi.org/10.1101/536649.
SponsorsThe research reported in this publication was supported by the King Abdullah University of Science and Technology (KAUST) Office of Sponsored Research (OSR) under Award No. FCC/1/1976-04, FCC/1/1976-06, FCC/1/1976-17, FCC/1/1976-18, FCC/1/1976-23, FCC/1/1976-25, FCC/1/1976-26, URF/1/3450-01 and URF/1/3454-01.
PublisherCold Spring Harbor Laboratory
Except where otherwise noted, this item's license is described as Archived with thanks to Cold Spring Harbor Laboratory.