Formal Methods for the Analysis of Biomedical OntologiesGuo-Qiang Zhang, Rashmie Abeysinghe, Licong Cui · First published 2023Open the Tome
