DL 2024 Proceedings of the 37th International Workshop on Description Logics Edited by Laura Giordano | Jean Christoph Jung | Ana Ozaki June 18–21, 2024 | Bergen, Norway https://dl.kr.org CEUR ceur-ws.org Workshop ISSN 1613-0073 Proceedings PREFACE DL – The International Workshop on Description Logics The International Workshop on Description Logics is the main annual event of the description logic research community. It is the forum at which those interested in description logics, from both academia and industry, meet to discuss ideas, share information, and compare experiences. The workshop explicitly welcomes submis- sions from researchers that are new to the area and provides quality feedback via peer-reviewing, while at the same time being of an inclusive nature with a very high acceptance rate. Inclusion of a paper in the informal (electronic) DL proceed- ings at CEUR should not preclude the work from later publication at conferences. Further information can be found on the DL web pages at http://dl.kr.org/. This volume contains the papers presented at the 37th International Workshop on Description Logics (DL 2024), held between June 18 and 21, 2024, in Bergen, Norway. Every submission to the workshop received on average three reviews provided by 57 PC members and 3 additional external reviewers. Overall, the committee decided to accept 11 full papers and 27 extended abstracts. The contents of these papers were presented in 27 oral presentations and 10 posters. The program additionally included three invited talks by Gabriele Kern- Isberner (TU Dortmund University), Ondrej Kuzelka (Czech Technical University Prague), and Camille Bourgaux (DI ENS, ENS, CNRS, PSL University & Inria). We thank all the PC members for their invaluable efforts in providing helpful and informative reviews for all submissions on time. We want to thank the general chair, Ana Ozaki and her local organisation team consisting of Victor Lacerda and Matteo Magnini for all their efforts in preparing the event locally in Bergen, as well as our publicity co-chairs Victor Lacerda and Andrea Mazzullo for spreading the word. Our local sponsorhip chair Guohui Xiao helped us in securing funding to support more PhD students coming to the workshop. Of course, the workshop would not have been possible without the submissions and participation of all the people that make DL such a great community. We are also very grateful to our sponsors, namely the Center for Perspicuous Computing, the Research Council of Norway, the Norwegian Artificial Intellli- gence Research Consortium, the Italian Association for Logic Programming, the European Association for Artificial Intelligence, the Center for Trustworthy Data Science and Security, the L. Meltzer Høyskolefond, and the Artificial Intelligence Journal for providing support and committing funds for the event. The list of sponsors, the detailed program, and further information for DL 2024 can be found at our event homepage at https://dl2024.w.uib.no/. Laura Giordano | Jean Christoph Jung | Ana Ozaki 1 DL 2024 Organisation 37th International Workshop on Description Logics General Chair Ana Ozaki University of Oslo, Norway Programme Chairs Laura Giordano Università del Piemonte Orientale, Italy Jean Christoph Jung TU Dortmund University, Germany Local Organization Team Victor Lacerda University of Bergen, Norway Matteo Magnini University of Bologna, Italy Publicity Co-Chairs Victor Lacerda University of Bergen, Norway Andrea Mazzullo University of Trento, Italy 2 Programme Committee Alessandro Artale Free University of Bolzano-Bozen Franz Baader Technische Universität Dresden Bartosz Bednarczyk Technische Universität Dresden & University of Wroclaw Meghyn Bienvenu University of Bordeaux Stefan Borgwardt Technische Universität Dresden Camille Bourgaux CNRS, DI ENS Diego Calvanese Free University of Bozen-Bolzano David Carral LIRMM, Inria, University of Montpellier, CNRS Giovanni Casini ISTI - CNR Jieying Chen University of Oslo Gianluca Cima Sapienza University of Rome Bernardo Cuenca Grau University of Oxford Oliver Fernandez Gil Technische Universität Dresden Laura Giordano DISIT, Università del Piemonte Orientale Birte Glimm Universität Ulm Martin Homola Comenius University in Bratislava Yazmin A. Ibanez-Garcia School of Informatics and Computer Science, Cardiff University Jean Christoph Jung TU Dortmund University Yevgeny Kazakov The University of Ulm Stanislav Kikot Birkbeck College Roman Kontchakov Birkbeck, University of London Patrick Koopmann Vrije Universiteit Amsterdam Egor V. Kostylev University of Oslo Alisa Kovtunova Technische Universität Dresden Francesco Kriegel Technische Universität Dresden Markus Krötzsch Technische Universität Dresden Oliver Kutz KRDB, Free University of Bozen-Bolzano Domenico Lembo Sapienza University of Rome Carsten Lutz Universität Leipzig Quentin Manière Universität Leipzig Andrea Mazzullo Free University of Bozen-Bolzano Thomas Meyer University of Cape Town and CAIR Barbara Morawska University of Opole Filip Murlak University of Warsaw Linh Anh Nguyen Institute of Informatics, University of Warsaw Ana Ozaki University of Bergen & University of Oslo Fabio Papacchini Lancaster University Leipzig Rafael Peñaloza University of Milano-Bicocca Antonella Poggi Sapienza University of Rome Denis Ponomaryov Ershov Institute of Informatics Systems, Novosibirsk State University Gianluca Pozzato University of Torino Guendalina Righetti Free University of Bolzano Sebastian Rudolph Technische Universität Dresden Vladislav Ryzhikov Birkbeck, University of London 3 Stefan Schlobach Vrije Universiteit Amsterdam Barış Sertkaya Frankfurt University of Applied Sciences Viorica Sofronie-Stokkermans University Koblenz-Landau Umberto Straccia ISTI-CNR David Toman University of Waterloo Nicolas Troquard Gran Sasso Science Institute Anni-Yasmin Turhan Paderborn University Ivan Varzinczak Univ. Artois and CNRS Przemyslaw Andrzej Walega University of Oxford Grant Weddell University of Waterloo Frank Wolter University of Liverpool Guohui Xiao Department of Information Science and Media Studies, University of Bergen Michael Zakharyaschev Birkbeck, University of London Additional Reviewers Michael Welt Universität Ulm Filippo de Bortoli TU Dresden Moritz Illich Universität Ulm Steering Committee Alessandro Artale University of Bozen-Bolzano Victor Gutierrez-Basulto Cardiff University Martin Homola University of Bratislava Patrick Koopmann Vrije Universiteit Amsterdam Alisa Kovtunova TU Dresden Ana Ozaki University of Oslo Renate Schmidt University of Manchester 4 5