Title: Formal Methods for the Analysis of Biomedical Ontologies, Author: Guo-Qiang Zhang
Title: The Semantic Web: 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1-5, 2025, Proceedings, Part I, Author: Edward Curry