Formal Methods for the Analysis of Biomedical Ontologies

Formal Methods for the Analysis of Biomedical Ontologies
English | 2022 | ISBN: 3031121309 | 402 Pages | PDF EPUB (True) | 35 MB
The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for ontological engineering and practice, particularly in uncovering unexpected "bugs" and content materials.