Formal methods for the analysis of biomedical ontologies
Auteur :
Zhang, Guo-Qiang / Abeysinghe, Rashmie / Cui, Licong
Éditeur :
Springer International Publishing AG
ISBN :
9783031121302
Date de publication :
9 nov. 2022
Dimensions :
24,0 x 16,8 cm
Langue :
Anglais
Pays d'origine :
Suisse
The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement.