=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1350/preface.pdf
|volume=Vol-1350
}}
==None==
https://ceur-ws.org/Vol-1350/preface.pdf
Diego Calvanese
Boris Konev
28th International Workshop on
Description Logics
Athens, Greece
7–10 June 2015
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 inter-
ested in description logics, from both academia and industry, meet to discuss
ideas, share information, and compare experiences. The workshop explicitly wel-
comes submissions from researchers that are new to the area and provides qual-
ity 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 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 qual-
ity, 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 effort.
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 Artificial Intelligence Journal and the
Foundation for Principles of Knowledge Representation and Reasoning (KR Inc.)
for financial support and EasyChair for providing a convenient and efficient
platform for preparing the program. Last but not least we thank all authors and
participants of DL 2015.
June 2015 Diego Calvanese
Athens Boris Konev
Table of Contents
Invited Talks
Query Rewriting Beyond DL-Lite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Carsten Lutz
Integrating Open Data: (How) Can Description Logics Help me? . . . . . . . . 7
Axel Polleres
Entity-oriented Search Engine Result Pages . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Maarten de Rijke
Oral Presentations
DL-Lite and Conjunctive Queries Extended by Optional Matching . . . . . . 9
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus
and Sebastian Skritek
Dealing with Inconsistencies due to Class Disjointness in SPARQL Update 13
Albin Ahmeti, Diego Calvanese, Axel Polleres and Vadim Savenkov
Interval Temporal Description Logics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov and Michael
Zakharyaschev
Dismatching and Local Disunification in EL (Extended Abstract) . . . . . . . 30
Franz Baader, Stefan Borgwardt and Barbara Morawska
Extending Consequence-Based Reasoning to SHIQ . . . . . . . . . . . . . . . . . . . . 34
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančı́k
and Ian Horrocks
Explaining Query Answers under Inconsistency-Tolerant Semantics
over Description Logic Knowledge Bases (Extended Abstract) . . . . . . . . . . 47
Meghyn Bienvenu, Camille Bourgaux and François Goasdoué
Combined Complexity of Answering Tree-like Queries in OWL 2 QL . . . . . 51
Meghyn Bienvenu, Stanislav Kikot and Vladimir Podolskii
Query-based comparison of OBDA specifications . . . . . . . . . . . . . . . . . . . . . . 55
Meghyn Bienvenu and Riccardo Rosati
Schema-Agnostic Query Rewriting for OWL QL . . . . . . . . . . . . . . . . . . . . . . 67
Stefan Bischof, Markus Krötzsch, Axel Polleres and Sebastian Rudolph
Singular Referring Expressions in Conjunctive Query Answers: the case
for a CFD DL Dialect . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Alex Borgida, David Toman and Grant Weddell
ii
Temporal Query Answering in EL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
Stefan Borgwardt and Veronika Thost
Efficient Query Answering in DL-Lite through FOL Reformulation
(Extended Abstract) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Damian Bursztyn, François Goasdoué and Ioana Manolescu
Decidable Contextualized DLs with Rigid Roles . . . . . . . . . . . . . . . . . . . . . . . 92
Stephan Böhme and Marcel Lippmann
Inconsistency Management in Generalized Knowledge and Action Bases . . 96
Diego Calvanese, Marco Montali and Ario Santoso
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 Gutiérrez 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 Efficiently 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
iii
Conservative Rewritability of Description Logic TBoxes: First Results . . . 196
Boris Konev, Carsten Lutz, Frank Wolter and Michael Zakharyaschev
Exact Learning Description Logic Ontologies from Data Retrieval
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208
Boris Konev, Ana Ozaki and Frank Wolter
Semantics of SPARQL under OWL 2 Entailment Regimes . . . . . . . . . . . . . . 221
Egor V. Kostylev and Bernardo Cuenca Grau
Towards Expressive Metamodelling with Instantiation . . . . . . . . . . . . . . . . . 233
Petra Kubincová, Ján Kuka and Martin Homola
Mapping Analysis in Ontology-based Data Access: Algorithms and
Complexity (Extended Abstract) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245
Domenico Lembo, Jose Mora, Riccardo Rosati, Domenico Fabio Savo
and Evgenij Thorstensen
The Combined Complexity of Reasoning with Closed Predicates in
Description Logics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249
Nhung Ngo, Magdalena Ortiz and Mantas Simkus
Completion Graph Caching for Expressive Description Logics . . . . . . . . . . . 262
Andreas Steigmiller, Birte Glimm and Thorsten Liebig
On the Utility of CFDI fncorall− . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
David Toman and Grant Weddell
Query Rewriting in Horn-SHIQ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 288
Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras and Giorgos
Stamou
Decidable Verification 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
iv
Integrating Ontologies and Planning for Cognitive Systems . . . . . . . . . . . . . 338
Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis
Ponomaryov and Marvin Schiller
Optimized Construction of Secure Knowledge-Base Views . . . . . . . . . . . . . . 351
Piero A. Bonatti, Iliana Petrova and Luigi Sauro
Conjunctive Query Answering with Finitely Many Truth Degrees . . . . . . . 364
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza and Anni-Yasmin
Turhan
Query Answering in Bayesian Description Logics . . . . . . . . . . . . . . . . . . . . . . 368
Ismail Ilkan Ceylan
Answering EL Queries in the Presence of Preferences . . . . . . . . . . . . . . . . . . 380
Ismail Ilkan Ceylan, Thomas Lukasiewicz and Rafael Peñaloza
Dynamic Bayesian Description Logics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 384
Ismail Ilkan Ceylan and Rafael Peñaloza
Elastiq: Answering Similarity-threshold Instance Queries in EL . . . . . . . . . 388
Andreas Ecke, Maximilian Pensel and Anni-Yasmin Turhan
Polynomial encoding of ORM conceptual models in CFDI ∀−
nc . . . . . . . . . . . 401
Pablo Fillottrani, C. Maria Keet and David Toman
Handling uncertainty: An extension of DL-Lite with Subjective Logic . . . . 415
Jhonatan Garcia, Jeff Pan and Achille Fokoue
DysToPic: a Multi-Engine Theorem Prover for Preferential Description
Logics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 427
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
and Luca Violanti
Saturated-Based Forgetting in the Description Logic SIF . . . . . . . . . . . . . . . 439
Patrick Koopmann and Renate A. Schmidt
Incremental Learning of TBoxes from Interpretation Sequences with
Methods of Formal Concept Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 452
Francesco Kriegel
A higher-order semantics for OWL 2 QL ontologies (Extended abstract) . 465
Maurizio Lenzerini, Lorenzo Lepore and Antonella Poggi
A pragmatic approach to answering CQs over fuzzy
DL-Lite-ontologies–introducing FLite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 469
Theofilos Mailis, Anni-Yasmin Turhan and Erik Zenker
v
Empirical Investigation of Subsumption Test Hardness in Description
Logic Classification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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
Júlia Pukancová 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 Özgür Özcep
vi
Conference Organisation
General Chairs
Giorgos Stamou National Technical University of Athens, Greece
Giorgos Stoilos National Technical University of Athens, Greece
Program Chairs
Diego Calvanese Free University of Bozen-Bolzano, Italy
Boris Konev University of Liverpool, UK
Program Committee
Alessandro Artale Free University of Bozen-Bolzano, Italy
Franz Baader TU Dresden, Germany
Meghyn Bienvenu CNRS & Université Paris-Sud, France
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 Università di Roma, Italy
Chiara Ghidini FBK-irst, Italy
Silvio Ghilardi Università degli Studi di Milano, Italy
Laura Giordano Università del Piemonte Orientale, Italy
Vı́ctor Gutiérrez Basulto University of Bremen, Germany
Pascal Hitzler Wright State University, USA
Ian Horrocks University of Oxford, UK
Mark Kaminski University of Oxford, UK
Yevgeny Kazakov The University of Ulm, Germany
C. Maria Keet University of Cape Town, South Africa
Pavel Klinov University of Ulm, Germany
Ilianna Kollia National Technical University of Athens, Greece
Roman Kontchakov Birkbeck, University of London, UK
Oliver Kutz Free University of Bozen-Bolzano, Italy
Maurizio Lenzerini University of Rome ”La Sapienza”, Italy
Michel Ludwig TU Dresden, Germany
Carsten Lutz Universität Bremen, Germany
Thomas Meyer Centre for Artificial Intelligence Research,
UKZN and CSIR Meraka, South Africa
Barbara Morawska TU Dresden, Germany
vii
Ralf Möller Universität zu Lübeck, Germany
Yavor Nenov University of Oxford, UK
Magdalena Ortiz Vienna University of Technology, Austria
Jeff Z. Pan University of Aberdeen, UK
Peter Patel-Schneider Nuance Communications
Riccardo Rosati Sapienza Università di Roma, Italy
Sebastian Rudolph Technische Universität Dresden, Germany
Vladislav Ryzhikov Free University of Bozen-Bolzano, Italy
Uli Sattler University of Manchester, UK
Viorica Sofronie-Stokkermans University of Koblenz and MPII Saarbrücken,
Germany
David Toman University of Waterloo, Canada
Dmitry Tsarkov The University of Manchester, UK
Anni-Yasmin Turhan University of Oxford, UK
Grant Weddell University of Waterloo, Canada
Frank Wolter University of Liverpool, UK
Guohui Xiao Free University of Bozen-Bolzano, Italy
viii
Additional Reviewers
Armas Romero, Ana Lippmann, Marcel
Bate, Andrew Neuenstadt, Christian
Bibel, Wolfgang Oezcep, Oezguer Luetfue
Bozzato, Loris Ozaki, Ana
Britz, Arina Rens, Gavin
Carral, David Schiller, Marvin
Casini, Giovanni Sebastiani, Roberto
De Masellis, Riccardo Sengupta, Kunal
Ecke, Andreas Simkus, Mantas
Feier, Cristina Stepanova, Daria
Fiorentini, Camillo Thost, Veronika
Ibanez-Garcia, Yazmin Angelica Wang, Cong
Jung, Jean Christoph Zarrieß, Benjamin
Klarman, Szymon Zheleznyakov, Dmitriy
Krisnadhi, Adila A.
ix