TU Dresden, Germany University of Oviedo, Spain University of Bremen, Germany TU Dresden, Germany University of Oxford, UK Free University of Bozen-Bolzano, Italy Comenius University, Slovakia University of Bremen, Germany University of Ulm, Germany Universite Paris-Est, France University of Ulm, Germany Free University of Bozen-Bolzano, Italy Stanford University, USA University of Ulm, Germany TU Dresden, Germany Tianjin University, China Southeast University, China Cardi University , UK

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 there is not supposed to preclude its 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 30th International Workshop on Description Logics (DL 2017) held on 18{21 July 2017 in Montpellier, France. Every submission to the workshop received three reviews, provided by 49 PC members and 18 additional external reviewers. Overall, the committee decided to accept 39 full papers and 22 extended abstracts. The contents of these papers were presented in 30 regular talks of 25 minutes each, 14 short talks of 15 minutes. The program also included three invited talks by Markus Krotzsch, Andreas Pieris and Uli Sattler. We take this opportunity to thank all the PC members for their invaluable e ort, providing helpful and informative reviews for all the submissions on time. The organisation and reviewing process was simpli ed by the tools provided by EasyChair. The Local Arrangements Committee and the DL 2017 general chairs Meghyn Bienvenu and Marie-Laure Mugnier deserve the praise for organising and running the event. Finally, this workshop would not be possible without the submissions and participation of all the people that make DL such an interesting community. We are also very grateful to the Foundation for Principles of Knowledge Representation and Reasoning (KR Inc.) and our sponsors: Arti cial Intelligence Journal (AIJ), European Association for Arti cial Intelligence (EurAI), Region of Occitanie-Pyrenees-Mediterranee, University of Montpellier, Inria, and LIRMM.

 -

Programme Committee Members

 Alessandro Artale Birte Glimm Roman Kontchakov

General Chairs

 Meghyn Bienvenu

Marie-Laure Mugnier Additional Reviewers

 Anni-Yasmin Turhan Carlos Menc a Cristina Feier David Carral

David Tena Cucala Elem Guzel Kalayc Jan Kl'uka Jean Christoph Jung Markus Brenner Nicolas Troquard Peter Skocovsky Pietro Galliani Rafael S Goncalves Trung-Kien Tran Veronika Thost Xiaowang Zhang Zhangquan Zhou Zied Bouraoui

 Annie Aliaga

Jean-Francois Baget Laurent Bienvenu Pierre Bisquert Stathis Delivorias Elisabeth Greverie Local Arrangements Committee University of Grenoble Alpes, France TU Dresden, Germany Free University of Bozen-Bolzano, Italy University of Manchester, UK University of Bremen, Germany Fondazione Bruno Kessler, Italy TU Wien, Austria National Technical University of Athens, Greece Athens University of Economics and Business, Greece ISTI-CNR, Italy University of Waterloo, Canada University of Waterloo, Canada University of Liverpool, UK Free University of Bozen-Bolzano, Italy Birkbeck, University of London, UK University of Oxford, UK

 Abdelraouf Hecham Laetitia Megual Federico Ulliana Bruno Yun

Virginie Feche