=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1014/frontmatter.pdf
|volume=Vol-1014
}}
==None==
https://ceur-ws.org/Vol-1014/frontmatter.pdf
DL 2013
26th International Workshop on
Description Logics
July 23–26, 2013
Ulm, Germany
ii
Preface
After well over two decades of research, description logics (DLs) can look back at
a history of highly influential contributions, which have had a lasting impact on
knowledge representation and its applications. Relevant practical milestones of
this development were the standardisation of the OWL Web Ontology Language
by the World Wide Web Consortium (W3C) in 2004 and its subsequent update
OWL 2 in 2009, both relying on DLs for their formal semantics. Recent years have
seen a number of important new trends, such as lightweight DLs and ontology-
based data access. At the same time, classical topics continue to thrive and lead
to new research challenges. Today, DL research considers a wide range of logical
formalisms and representation languages, sometimes even crossing the border to
rule or query languages, and including advanced features such as uncertainty and
nonmonotonicity. Practical feasibility and utility remain a primary motive for
these works, and provide the grounding that is necessary to ensure its continued
practical impact.
The DL workshop is the main international event of the description logic
research community. It takes place annually and aims at being an informal get-
together that allows researchers to discuss the current developments in the area.
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 “publication” at the workshop is
not supposed to preclude 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 DL 2013: The 26th Interna-
tional Workshop on Description Logics, held in Ulm, Germany, on July 23–26
2013. The workshop received a record number of 89 submissions, involving au-
thors from 20 countries. Following the inclusive tradition of DL, 74 papers have
been selected for presentation at the workshop, 37 of which were presented orally,
while another 37 were presented as posters. In spite of the intentionally high rate
of acceptance, every paper received three careful reviews, which often provided
helpful feedback to the authors. We thank all program committee members and
additional reviewers for their invaluable effort.
As in recent years, a Distinguished Student Paper Award was presented to
the authors of a student paper, i.e., a paper that was authored independently by
researchers who have not received a doctoral degree yet. In this year, the award
went to the contribution
Temporal Query Answering in DL-Lite
by Stefan Borgwardt, Marcel Lippmann and Veronika Thost.
The work contributes to the field of ontology-based data access over (temporar-
ily) ordered inputs, e.g., from sensor streams, and it presents several new ap-
proaches for reasoning about query answers in this setting.
The program of DL 2013 featured invited talks by Guiseppe De Giacomo,
Michel Dumontier, and Ian Pratt-Hartman, whom we would like to thank for
their contribution. Abstracts of each invited talk are included in this volume.
Moreover, DL 2013 for the first time has been closely colocated with the Reasoner
Evaluation Workshop ORE. Also colocated, at a slightly greater distance, were
the 9th ReasoningWeb Summer School and the 7th International Conference on
Web Reasoning and Rule Systems (RR). We thank the organisers of these events
for the good cooperation.
We also gratefully acknowledge the support of our sponsors. In particular,
we thank the main conference sponsors: the Artificial Intelligence Journal, B2i
Healthcare, the German Research Foundation (DFG), and the foundation for
Principles of Knowledge Representation and Reasoning (KR Inc.). As usual,
EasyChair has provided a convenient and efficient platform for preparing the
program. Finally, thanks are due to all authors and participants of DL 2013; we
hope that their stay in Ulm has been most profitable and enjoyable.
July 2013 Thomas Eiter
Markus Krötzsch
iv
Conference Organization
General Chairs
Birte Glimm University of Ulm, Germany
Yevgeny Kazakov University of Ulm, Germany
Program Chairs
Thomas Eiter Vienna University of Technology, Austria
Markus Krötzsch University of Oxford, UK
Program Committee
Alessandro Artale Free University of Bolzano-Bozen, Italy
Franz Baader TU Dresden, Germany
Meghyn Bienvenu CNRS & Université Paris-Sud, France
Alex Borgida Rutgers University, USA
Diego Calvanese Free University of Bozen-Bolzano, Italy
Bernardo Cuenca Grau University of Oxford, UK
Enrico Franconi Free University of Bozen-Bolzano, Italy
Pascal Hitzler Wright State University, USA
Matthew Horridge Stanford University, USA
Ian Horrocks University of Oxford, UK
Pavel Klinov University of Ulm, Germany
Boris Konev University of Liverpool, UK
Roman Kontchakov Birkbeck College, UK
Jens Lehmann University of Leipzig, Germany
Thorsten Liebig derivo GmbH, Germany
Carsten Lutz University of Bremen, Germany
Deborah McGuinness Rensselaer Polytechnic Institute, USA
Thomas Meyer UKZN and CSIR Meraka, South Africa
Ralf Möller Hamburg University of Technology, Germany
Linh Anh Nguyen University of Warsaw, Poland
Magdalena Ortiz Vienna University of Technology, Austria
Bijan Parsia The University of Manchester, UK
Peter Patel-Schneider Nuance Communications
Rafael Peñaloza TU Dresden, Germany
Guilin Qi Southeast University, China
Riccardo Rosati Sapienza Universita’ di Roma, Italy
Sebastian Rudolph TU Dresden, Germany
Renate A. Schmidt The University of Manchester, UK
Ulrike Sattler The University of Manchester, UK
Thomas Schneider University of Bremen, Germany
Luciano Serafini Fondazione Bruno Kessler, Italy
Barış Sertkaya SAP Research Center Dresden, Germany
Inanc Seylan University of Bremen, Germany
Mantas Simkus Vienna University of Technology, Austria
Giorgos Stamou National Technical University of Athens, Greece
Giorgos Stoilos National Technical University of Athens, Greece
Umberto Straccia Institute of Information Science and Technologies,
Italy
David Toman University of Waterloo, Canada
Dmitry Tsarkov The University of Manchester, UK
Anni-Yasmin Turhan TU Dresden, Germany
Zhe Wang Griffith University, Australia
Kewen Wang Griffith University, Australia
Grant Weddell University of Waterloo, Canada
Frank Wolter University of Liverpool, UK
Michael Zakharyaschev Birkbeck College, UK
Additional Reviewers
Ana Armas Romero Ilianna Kollia Claus Stadler
Babak Bagheri Hariri Patrick Koopmann Giorgio Stefanoni
Andrew Bate Adila A. Krisnadhi Andreas Steigmiller
Stefan Borgwardt Marcel Lippmann Jiao Tao
Elena Botoeva Michel Ludwig Sergio Tessaris
Loris Bozzato Yue Ma Michaël Thomazo
Arina Britz Karsten Martiny Veronika Thost
Lorenz Bühmann Kody Moodley Trung-Kien Tran
David Carral Alessandro Mosca Jörg Unbehauen
Giovanni Casini Radim Nedbal Tasos Venetis
Michelle Cheatham Yavor Nenov Dirk Walther
Alexandros Chortaras Christian Neuenstadt Cong Wang
Felix Distel Özgür L. Özcep Yisong Wang
Jianfeng Du Fabio Papacchini Benjamin Zarrie
Andreas Ecke Robert Piro Dmitriy Zheleznyakov
Jan Hladik Denis Ponomaryov Zhiqiang Zhuang
Ernesto Jimenez-Ruiz Vladislav Ryzhikov
Jean Christoph Jung Kunal Sengupta
vi