Formal Methods for the Analysis of Biomedical Ontologies

Guo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui, 3031121309, 9783031121302