Formal methods for the analysis of biomedical ontologies
Auteur :
Zhang, Guo-Qiang / Abeysinghe, Rashmie / Cui, Licong
Éditeur :
Springer International Publishing AG
ISBN :
9783031121333
Date de publication :
10 nov. 2023
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.