=Paper=
{{Paper
|id=Vol-1879/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1879/preface.pdf
|volume=Vol-1879
}}
==None==
https://ceur-ws.org/Vol-1879/preface.pdf
Preface
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ötzsch,
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ées-Méditerranée, University of Montpellier,
Inria, and LIRMM.
July, 2017 Alessandro Artale
Montpellier Birte Glimm
Roman Kontchakov
Programme Committee Chairs
Alessandro Artale Free University of Bozen-Bolzano, Italy
Birte Glimm University of Ulm, Germany
Roman Kontchakov Birkbeck, University of London, UK
General Chairs
Meghyn Bienvenu CNRS, University of Montpellier, France
Marie-Laure Mugnier University of Montpellier, France
Programme Committee Members
Franz Baader TU Dresden, Germany
Alex Borgida Rutgers University, USA
Stefan Borgwardt TU Dresden, Germany
Elena Botoeva Free University of Bozen-Bolzano, Italy
Bernardo Cuenca Grau University of Oxford, UK
Giuseppe De Giacomo Sapienza University of Rome, Italy
Silvio Ghilardi Università degli Studi di Milano,Italy
Laura Giordano Università del Piemonte Orientale, Italy
Vı́ctor Gutiérrez-Basulto Cardiff University, UK
Martin Homola Comenius University, Slovakia
Matthew Horridge Stanford University, USA
Ernesto Jimenez-Ruiz University of Oslo, Norway
Mark Kaminski University of Oxford, UK
Yevgeny Kazakov The University of Ulm, Germany
Evgeny Kharlamov University of Oxford, UK
Boris Konev University of Liverpool, UK
Markus Krötzsch TU Dresden, Germany
Oliver Kutz Free University of Bozen-Bolzano, Italy
Domenico Lembo Sapienza University of Rome, Italy
Maurizio Lenzerini Sapienza University of Rome, Italy
Carsten Lutz Universität Bremen, Germany
Nicolas Matentzoglu University of Manchester, UK
Thomas Meyer University of Cape Town & CAIR, South Africa
Barbara Morawska TU Dresden, Germany
Boris Motik University of Oxford, UK
Linh Anh Nguyen University of Warsaw, Poland
Magdalena Ortiz TU Wien, Austria
Peter Patel-Schneider Nuance Communications, USA
Rafael Peñaloza Free University of Bozen-Bolzano, Italy
Andreas Pieris University of Edinburgh, UK
Antonella Poggi Sapienza University of Rome, Italy
Guilin Qi Southeast University, China
Riccardo Rosati Sapienza University of Rome, Italy
Marie-Christine Rousset University of Grenoble Alpes, France
Sebastian Rudolph TU Dresden, Germany
Vladislav Ryzhikov Free University of Bozen-Bolzano, Italy
Uli Sattler University of Manchester, UK
Thomas Schneider University of Bremen, Germany
Luciano Serafini Fondazione Bruno Kessler, Italy
Mantas Šimkus TU Wien, Austria
Giorgos Stamou National Technical University of Athens, Greece
Giorgos Stoilos Athens University of Economics and Business, Greece
Umberto Straccia ISTI-CNR, Italy
David Toman University of Waterloo, Canada
Grant Weddell University of Waterloo, Canada
Frank Wolter University of Liverpool, UK
Guohui Xiao Free University of Bozen-Bolzano, Italy
Michael Zakharyaschev Birkbeck, University of London, UK
Dmitriy Zheleznyakov University of Oxford, UK
Additional Reviewers
Anni-Yasmin Turhan TU Dresden, Germany
Carlos Mencı́a University of Oviedo, Spain
Cristina Feier University of Bremen, Germany
David Carral TU Dresden, Germany
David Tena Cucala University of Oxford, UK
Elem Güzel Kalaycı Free University of Bozen-Bolzano, Italy
Ján Kl’uka Comenius University, Slovakia
Jean Christoph Jung University of Bremen, Germany
Markus Brenner University of Ulm, Germany
Nicolas Troquard Université Paris-Est, France
Peter Skočovský University of Ulm, Germany
Pietro Galliani Free University of Bozen-Bolzano, Italy
Rafael S Gonçalves Stanford University, USA
Trung-Kien Tran University of Ulm, Germany
Veronika Thost TU Dresden, Germany
Xiaowang Zhang Tianjin University, China
Zhangquan Zhou Southeast University, China
Zied Bouraoui Cardiff University, UK
Local Arrangements Committee
Annie Aliaga Abdelraouf Hecham
Jean-François Baget Laetitia Mégual
Laurent Bienvenu Federico Ulliana
Pierre Bisquert Bruno Yun
Stathis Delivorias Virginie Fèche
Elisabeth Grèverie