Anton Gnatenko and Prof. Oliver Kutz from the Faculty of Engineering at unibz, along with Nicolas Troquard from Gran Sasso Science Institute, have received the "Best of JOWO" Research Paper Award at the 10th anniversary edition of the Joint Ontology Workshops (JOWO). JOWO is organized by the International Association for Ontology and its Applications (IAOA), a non-profit group that promotes interdisciplinary research and global collaboration in formal ontology.

Their award-winning paper, "Building an Ontology of Computational Complexity" , was presented at the event held in July 2024 at Enschede University in the Netherlands. The paper introduces "Ontoplex" – (onto)logy of com(plex)ity, a new tool designed to simplify the study and analysis of computational complexity. "With hundreds of complexity classes discovered and new results appearing so rapidly, it has become difficult to follow and build new research on top of them," explain the three experts. "To address this issue, we propose developing an ontology of computational complexity, a computer-powered system that stores field data and supports automated reasoning tasks."