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 of informal proceedings contains the papers presented at the 28th International Workshop on Description Logics (DL 2015) held on June 6-9, 2015 in Athens (Greece). This year there were 68 submissions, divided among full papers presenting original research, and extended abstracts (of at most 3 pages). Submissions have been judged solely based upon their content and quality, and the type of submission had no bearing on the decision between long oral, short oral and poster presentation. Each submission was reviewed by 3 program committee members or additional reviewers recruited by the PC. In the spirit of inclusiveness, the committee decided to accept 60 papers, among them 37 as long and short oral presentations and 23 as poster presentations. We thank all program committee members and additional reviewers for their invaluable e ort.
The program also included 3 invited talks, which were given by Carsten Lutz, Axel Polleres, and Maarten de Rijke. The abstracts of these talks are included in this volume.
We also gratefully acknowledge the Arti cial Intelligence Journal and the Foundation for Principles of Knowledge Representation and Reasoning (KR Inc.) for nancial support and EasyChair for providing a convenient and e cient platform for preparing the program. Last but not least we thank all authors and participants of DL 2015. Diego Calvanese
Boris Konev Temporal Query Answering in EL : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Stefan Borgwardt and Veronika Thost E cient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract) : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
Damian Bursztyn, Francois Goasdoue and Ioana Manolescu Decidable Contextualized DLs with Rigid Roles : : : : : : : : : : : : : : : : : : : : : : :
Stephan Bohme and Marcel Lippmann Inconsistency Management in Generalized Knowledge and Action Bases : : Diego Calvanese, Marco Montali and Ario Santoso 88 92 96 Tableau-based revision in SHIQ : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 101
Thinh Dong, Chan Le Duc, Philippe Bonnot and Myriam Lamolle Extending the Combined Approach Beyond Lightweight Description Logics 105 Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau and Ian Horrocks Adding Threshold Concepts to the Description Logic EL : : : : : : : : : : : : : : : 117
Oliver Fernandez Gil, Franz Baader and Gerhard Brewka Lower and Upper Bounds for SPARQL Queries over OWL Ontologies : : : 121
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia and Giorgos Stamou Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 125
Georg Gottlob, Marco Manna and Andreas Pieris The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage : : : : : : : : : 129
V ctor Gutierrez Basulto, Jean Christoph Jung and Thomas Schneider Schema.org as a Description Logic : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 141
Andre Hernich, Carsten Lutz, Ana Ozaki and Frank Wolter Polynomial Horn Rewritings for Description Logics Ontologies : : : : : : : : : : 154
Mark Kaminski and Bernardo Cuenca Grau Reasoning E ciently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract) : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 166
Tobias Kaminski, Matthias Knorr and Joao Leite Advancing ELK: Not Only Performance Matters : : : : : : : : : : : : : : : : : : : : : : 171
Yevgeny Kazakov and Pavel Klinov Nonmonotonic Nominal Schemas Revisited : : : : : : : : : : : : : : : : : : : : : : : : : : : 183 Matthias Knorr Conservative Rewritability of Description Logic TBoxes: First Results : : : 196
Boris Konev, Carsten Lutz, Frank Wolter and Michael Zakharyaschev Completion Graph Caching for Expressive Description Logics : : : : : : : : : : : 262 Andreas Steigmiller, Birte Glimm and Thorsten Liebig
forall : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 275 On the Utility of CF DInc
David Toman and Grant Weddell Query Rewriting in Horn-SHIQ : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 288 Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras and Giorgos Stamou Decidable Veri cation of Knowledge-Based Programs over Description Logic Actions with Sensing : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 292
Benjamin Zarrie and Jens Cla en Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach 296
Yizheng Zhao and Renate Schmidt PAGOdA: Pay-as-you-go ABox Reasoning : : : : : : : : : : : : : : : : : : : : : : : : : : : : 309
Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov and Ian Horrocks Poster Presentations An Ontology-Based Archive for Historical Research : : : : : : : : : : : : : : : : : : : 322
Giovanni Adorni, Marco Maratea, Laura Pandolfo and Luca Pulina Reasoning in description logics with variables: preliminary results regarding the EL logic : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 326 Lakhdar Akroun, Nourine Lhouari and Farouk Toumani Integrating Ontologies and Planning for Cognitive Systems : : : : : : : : : : : : : 338 Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis Ponomaryov and Marvin Schiller Empirical Investigation of Subsumption Test Hardness in Description Logic Classi cation : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 481
Nicolas Matentzoglu, Uli Sattler and Bijan Parsia Heuristics for Applying Cached OBDA Rewritings : : : : : : : : : : : : : : : : : : : : 493
Andreas Nakkerud and Evgenij Thorstensen Managing QoS Acceptability for Service Selection : A Probabilistic Description Logics Based Approach : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 504
Mourad Ouziri, Salima Benbernou, Naouel Karam and Allel Hadjali Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 515
Julia Pukancova and Martin Homola TBox Reasoning in the Probabilistic Description Logic SHIQp : : : : : : : : : : 528
Viachaslau Sazonau and Uli Sattler Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 540
Michele Stawowy On Implementing Temporal Query Answering in DL-Lite (extended abstract) : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 552 Veronika Thost, Jan Holste and Ozgur Ozcep
Conference Organisation
Giorgos Stamou Giorgos Stoilos
Ralf Moller Yavor Nenov Magdalena Ortiz Je Z. Pan Peter Patel-Schneider Riccardo Rosati Sebastian Rudolph Vladislav Ryzhikov Uli Sattler Viorica Sofronie-Stokkermans David Toman Dmitry Tsarkov Anni-Yasmin Turhan Grant Weddell Frank Wolter Guohui Xiao Universitat zu Lubeck, Germany University of Oxford, UK Vienna University of Technology, Austria University of Aberdeen, UK Nuance Communications Sapienza Universita di Roma, Italy Technische Universitat Dresden, Germany Free University of Bozen-Bolzano, Italy University of Manchester, UK University of Koblenz and MPII Saarbrucken, Germany University of Waterloo, Canada The University of Manchester, UK University of Oxford, UK University of Waterloo, Canada University of Liverpool, UK Free University of Bozen-Bolzano, Italy
Armas Romero, Ana Bate, Andrew Bibel, Wolfgang Bozzato, Loris Britz, Arina Carral, David Casini, Giovanni De Masellis, Riccardo Ecke, Andreas Feier, Cristina Fiorentini, Camillo Ibanez-Garcia, Yazmin Angelica Jung, Jean Christoph Klarman, Szymon Krisnadhi, Adila A.