Abstract
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 dis-cuss 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 pub-lication 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 Work-shop 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 de-cided 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 Kr¨otzsch, Andreas Pieris and Uli Sattler.
We take this opportunity to thank all the PC members for their invaluable effort, providing helpful and informative reviews for all the submissions on time. The organisation and reviewing process was simplified 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 interest-ing community. We are also very grateful to the Foundation for Principles of Knowledge Representation and Reasoning (KR Inc.) and our sponsors: Artifi-cial Intelligence Journal (AIJ), European Association for Artificial Intelligence (EurAI), Region of Occitanie-Pyren´ees-M´editerran´ee, University of Montpellier, Inria, and LIRMM.