Formal axioms in biomedical ontologies improve analysis and interpretation of associated data
Type
PreprintKAUST Department
Bio-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 Number
FCC/1/1976-04FCC/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
URF/1/3454-01
Date
2019-02-02Permanent link to this record
http://hdl.handle.net/10754/631015
Metadata
Show full item recordAbstract
Motivation: 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 ontologiesCitation
Smaili 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.Sponsors
The 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.Publisher
Cold Spring Harbor LaboratoryDOI
10.1101/536649Additional Links
https://www.biorxiv.org/content/10.1101/536649v1ae974a485f413a2113503eed53cd6c53
10.1101/536649
Scopus Count
Except where otherwise noted, this item's license is described as Archived with thanks to Cold Spring Harbor Laboratory.