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 submissions 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. There are only informal (electronic) proceedings and inclusion of a paper in these proceedings should not preclude its publication in other venues. Further information can be found on the DL web pages at http://dl.kr.org/. This volume contains the papers presented at the 35th International Workshop on Description Logics (DL 2022) held in Haifa, Israel, August 7-10, 2022. It was part of the Federated Logic Conference (FLoC 2022), together with a number of other relevant events including the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) and the 20th International Workshop on Non-Monotonic Reasoning (NMR 2022). For the first time after three years, the waning COVID-19 pandemic allowed us to hold DL 2022 as a purely in-person event, after one purely virtual and one hybrid edition. We received 38 submissions, of which 4 were later withdrawn for varying reasons. Out of the remaining 34 submissions, 18 were accepted as regular papers, 15 were accepted as extended abstracts, and one submission was rejected. In one case acceptance was conditional, the conditions of which were later met by the authors. Every submission received at least three reviews provided by 71 Program Committee members and 1 external reviewer. In conjunction with FLoC, DL 2022 ofered exciting and diverse program, which in addition to the technical papers, included six keynotes by leading experts:
The audiences of DL and NMR 2022 were able to enjoy an exceptional cross-pollination opportunity in form of four joint DL+NMR program sessions which together with the two joint invited talks included presentations of 3 NMR papers and 6 DL papers. We would like to express special thanks to the co-chairs Giovanni Casini and Laura Giordano of NMR 2022 for their interest in such an extended program collaboration with this year’s DL.
It is a tradition of DL workshops to award a prize for the best contribution that was primarily produced by a student or by students. This year’s Best Student Contribution Award was presented to Fajar Haifani for the paper “Connection-Minimal Abduction in EL via Translation to FOL” co-authored by Patrick Koopmann, Sophie Tourret, and Christoph Weidenbach. This year the winner was chosen chosen from 22 student papers. The choice was made at the discretion of the co-chairs carefully taking into the account the nominations received from the reviewers of each paper and their actual reviews.
We are indebted to the Program Committee and the additional reviewers for their invaluable eforts in providing helpful and informative reviews for all submissions in a timely fashion. For advice and support we thank the members of the DL Steering Committee. We are thankful to our publicity co-chairs and to the local organization of FLoC 2022. The organization and reviewing process was simplified a lot by the EasyChair conference management system and we thank CEUR for publishing these proceedings. The workshop would not be possible without the submissions and participation of all the people that make DL such a great community.
We are grateful to the Artificial Intelligence Journal and the European Association for Artificial Intelligence for committing generous funds for students and invited speakers, and to the Foundation for Principles of Knowledge Representation and Reasoning (KR Inc.) for their continuous and long-therm support of DL Workshops.
Jean Christoph Jung
Ofer Arieli
Ján Kľuka Júlia Pukancová
Boris Konev University of Liverpool, UK Roman Kontchakov Birkbeck College, University of London, UK Patrick Koopmann TU Dresden, Germany Egor V. Kostylev University of Oslo, Norway Alisa Kovtunova TU Dresden, Dermany Francesco Kriegel TU Dresden, Germany Markus Krötzsch TU Dresden, Germany Oliver Kutz Free University of Bozen-Bolzano, Italy Ján Kľuka Comenius University in Bratislava, Slovakia Chan Le Duc University Sorbonne Paris Nord, France Domenico Lembo Sapienza University of Rome, Italy Carsten Lutz University of Bremen, Germany Thomas Meyer University of Cape Town & CAIR, South Africa Barbara Morawska Ahmedabad University, India Filip Murlak University of Warsaw, Poland Ralf Möller University of Lübeck, Germany Linh Anh Nguyen University of Warsaw, Poland Magdalena Ortiz TU Wien, Austria Ana Ozaki University of Bergen, Norway Jef Pan University of Edinburgh, UK Fabio Papacchini Lancaster University Leipzig, Germany Peter Patel-Schneider Xerox PARC, Palo Alto, CA, US Rafael Peñaloza University of Milano-Bicocca, Italy Andreas Pieris University of Edinburgh, UK Antonella Poggi Sapienza University of Rome, Italy Denis Ponomaryov Ershov Institute of Informatics Systems & Novosibirsk State
University, Russia Júlia Pukancová Comenius University in Bratislava, Slovakia Guilin Qi Southeast University, Nanjing, China Riccardo Rosati Sapienza University of Rome, Italy Sebastian Rudolph TU Dresden, Germany Vladislav Ryzhikov Free University of Bozen-Bolzano, Italy Uli Sattler University of Manchester, UK Stefan Schlobach Vrije Universiteit Amsterdam, Netherlands Barış Sertkaya Frankfurt University of Applied Sciences Mantas Simkus TU Wien, Austria Viorica Sofronie-Stokkermans University Koblenz and Landau, Germany Umberto Straccia ISTI-CNR, Italy David Toman University of Waterloo, UK Nicolas Troquard Free University of Bozen-Bolzano, Italy Anni-Yasmin Turhan TU Dresden, Germany Ivan Varzinczak CNRS & Université d’Artois, Lens, France Przemysław Andrzej Wałęga University of Oxford, UK Grant Weddell University of Waterloo, UK
Fred Freitas
Alessandro Artale Stefan Borgwardt Victor Gutierrez Basulto Martin Homola Jean Christoph Jung Marie-Laure Mugnier Ana Ozaki Renate Schmidt Mantas Simkus
University of Bratislava, Slovakia University of Hildesheim, Germany University of Montpellier & Inria, France University of Bergen, Norway University of Manchester, UK TU Wien, Austria