| Vol-1014 urn:nbn:de:0074-1014-7 Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# DL 2013
26th International Workshop on Description Logics

### Informal Proceedings of the 26th International Workshop on Description Logics

### Ulm, Germany, July 23 - 26, 2013

Edited by

### Thomas Eiter *
Birte Glimm **
Yevgeny Kazakov **
Markus Krötzsch ***

* Institute of Information Systems, Vienna University of Technology, Vienna, Austria
** Institute of Artificial Intelligence, University of Ulm, Germany
*** Department of Computer Science, University of Oxford, UK

## Table of Contents

- Preface and Conference Organisation

### Invited Talks

- Actions, Processes, and Ontologies 1
  Giuseppe De Giacomo
- Drugs, Genetics and Phenotypes: an Admission of Formal Semantics in Biomedical Research 2
  Michel Dumontier
- Transitivity and Equivalence in Decidable Fragments of First-Order Logic 3
  Ian Pratt-Hartmann

### Paper Presentations

- Computing Solutions in OWL 2 QL Knowledge Exchange 4-16
  Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
- Temporalising OWL 2 QL 17-28
  Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
- Hybrid EL-Unification is NP-complete 29-40
  Franz Baader, Oliver Fernandez Gil, Barbara Morawska
- Tractability Guarantees for DL-Lite Query Answering 41-52
  Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus, Guohui Xiao
- New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access 53-64
  Meghyn Bienvenu, Riccardo Rosati
- Axiomatizing Confident EL^bot_gfp-General Concept Inclusions in the Presence of Untrusted Individuals 65-79
  Daniel Borchmann
- Temporal Query Answering in DL-Lite 80-92
  Stefan Borgwardt, Marcel Lippmann, Veronika Thost
- Preferential Role Restrictions 93-106
  Arina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
- Verification of Inconsistency-Aware Knowledge and Action Bases 107-119
  Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
- Evolving Graph Databases under Description Logic Constraints 120-131
  Diego Calvanese, Magdalena Ortiz, Mantas Simkus
- Efficient Approximation in DL-Lite of OWL 2 Ontologies 132-143
  Marco Console, Valerio Santarelli, Domenico Fabio Savo
- Empirical Study of Logic-Based Modules: Cheap Is Cheerful 144-155
  Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov
- A Hybrid Approach for Learning SNOMED CT Definitions from Text 156-167
  Felix Distel, Yue Ma
- Minimal Model Semantics and Rational Closure in Description Logics 168-180
  Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
- Using the TBox to Optimise SPARQL Queries 181-196
  Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos Stamou
- The Empirical Robustness of Description Logic Classification 197-208
  Rafael S. Gonçalves, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler
- Well-Founded Semantics for Extended Datalog and Ontological Reasoning 209-220
  André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
- Towards Typed Higher-Order Description Logics 221-233
  Martin Homola, Jan Kluka, Vojtěch Svátek, Miroslav Vacura
- Finite Model Reasoning in Horn-SHIQ 234-245
  Yazmin Angélica Ibáñez-García, Carsten Lutz, Thomas Schneider
- Evaluating Mapping Repair Systems with Large Biomedical Ontologies 246-257
  Ernesto Jiménez-Ruiz, Christian Meilicke, Bernardo Cuenca Grau, Ian Horrocks
- Ontology-Based Access to Probabilistic Data 258-270
  Jean Christoph Jung, Carsten Lutz
- Sufficient Conditions for First-Order and Datalog Rewritability in ELU 271-293
  Mark Kaminski, Bernardo Cuenca Grau
- Incremental Reasoning in EL+ without Bookkeeping 294-315
  Yevgeny Kazakov, Pavel Klinov
- Query Rewriting over Shallow Ontologies 316-327
  Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev
- Query Answering via Modal Definability with FaCT++: First Blood 328-340
  Stanislav Kikot, Dmitry Tsarkov, Michael Zakharyaschev, Evgeny Zolin
- Exact Learning of TBoxes in EL and DL-Lite 341-352
  Boris Konev, Carsten Lutz, Frank Wolter
- Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard 353-363
  Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
- Complexity of Answering Counting Aggregate Queries over DL-Lite 364-376
  Egor V. Kostylev, Juan L. Reutter
- Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes 377-389
  Michel Ludwig, Boris Konev
- Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling 390-402
  Despoina Magka, Markus Krötzsch, Ian Horrocks
- More is Sometimes Less: Succinctness in EL 403-414
  Nadeschda Nikitina, Sven Schewe
- Rough EL Classification 415-427
  Rafael Peñaloza, Tingting Zou
- Extending Absorption to Nominal Schemas 428-450
  Andreas Steigmiller, Birte Glimm, Thorsten Liebig
- CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness 451-463
  David Toman, Grant Weddell
- Optimising Resolution-Based Rewriting Algorithms for DL Ontologies 464-476
  Despoina Trivela, Giorgos Stoilos, Alexandros Chortaras, Giorgos Stamou
- Computing the lcs w.r.t. General EL+-TBoxes 477-488
  Anni-Yasmin Turhan, Benjamin Zarrieß
- Absorption for ABoxes with Local Universal Restrictions 489-500
  Jiewen Wu, Taras Kinash, David Toman, Grant Weddell

### Poster Presentations

- Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes 501-512
  Serge Autexier, Dieter Hutter
- General Concept Inclusion Absorptions for Fuzzy Description logics: A First Step 513-525
  Fernando Bobillo, Umberto Straccia
- About Subsumption in Fuzzy EL 526-538
  Stefan Borgwardt, Rafael Peñaloza
- The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules 539-551
  Pierre Bourhis, Michael Morak, Andreas Pieris
- Materialization Calculus for Contexts in the Semantic Web 552-572
  Loris Bozzato, Luciano Serafini
- Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis 573-586
  Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
- Towards Practical Defeasible Reasoning for Description Logics 587-599
  Giovanni Casini, Thomas Meyer, Kody Moodley, Ivan Varzinczak
- Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox 600-615
  Giovanni Casini, Thomas Meyer, Ivan Varzinczak, Kody Moodley
- Logical Foundations for Reasoning about Transformations of Knowledge Bases 616-627
  Mohamed Chaabani, Rachid Echahed, Martin Strecker
- Synthesizing Extensional Constraints in Ontology-Based Data Access 628-639
  Marco Console, Maurizio Lenzerini, Riccardo Mancini, Riccardo Rosati, Marco Ruzzi
- Reasoning with DL-based CP-nets 640-651
  Tommaso Di Noia, Thomas Lukasiewicz, Gerardo Simari
- Bisimulation-Based Comparisons for Interpretations in Description Logics 652-669
  Ali Rezaei Divroodi, Linh Anh Nguyen
- Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals 670-688
  Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
- Reasoning with Bounded Self-reference Using Logical Interpreters 689-703
  Daniel Gorin, Lutz Schröder, Thorsten Wißmann
- Extending DL-Lite_A with (Singleton) Nominals 704-723
  Maxim Haddad, Diego Calvanese
- A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI 724-734
  Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
- SHOIQ with Transitive Closure of Roles Is Decidable 735-746
  Chan Le Duc, Myriam Lamolle, Olivier Curé
- A Graph-Based Approach for Classifying OWL 2 QL Ontologies 747-759
  Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo
- A System for Learning GCI Axioms in Fuzzy Description Logics 760-778
  Francesca Alessandra Lisi, Umberto Straccia
- SQOWL2: Transactional Type Inference for OWL 2 DL in an RDBMS 779-790
  Yu Liu, Peter McBrien
- Complexity of Inconsistency-Tolerant Query Answering in Datalog+/- 791-803
  Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Simari
- Preference-Based Query Answering in Datalog+/- Ontologies 804-815
  Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Simari
- Spatial Semantics for Concepts 816-828
  Özgür L. Özçep, Ralf Möller
- A Corpus of OWL DL Ontologies 829-841
  Nicolas Matentzoglu, Samantha Bail, Bijan Parsia
- Advances in Accessing Big Data with Expressive Ontologies 842-853
  Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Sebastian Wandelt
- ELITE: An Entailment-Based Federated Query Engine for Complete and Transparent Semantic Data Integration 854-867
  Andreas Nolle, German Nemirovski
- Module-theoretic Properties of Reachability Modules for SRIQ 868-884
  Riku Nortje, Arina Britz, Thomas Meyer
- Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL 885-897
  Francesco Pagliarecci, Luca Spalazzi, Gilberto Taccari
- Concept Definability and Interpolation in Enriched Models of EL-TBoxes 898-916
  Denis Ponomaryov, Dmitry Vlasov
- Query Rewriting and Optimisation with Database Dependencies in Ontop 917-929
  Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev
- Towards Explicative Inference for OWL 930-941
  Marvin Schiller, Birte Glimm
- Complete Classification of Complex ALCHO Ontologies Using a Hybrid Reasoning Approach 942-961
  Weihong Song, Bruce Spencer, Weichang Du
- Introducing Nominals to the Combined Query Answering Approaches for EL 962-974
  Giorgio Stefanoni, Boris Motik, Ian Horrocks
- Query Rewriting Under Ontology Evolution 975-987
  Eleni Tsalapati, Giorgos Stoilos, Giorgos Stamou, George Koletsos
- SROIQ Syntax Approximation by Using Nominal Schemas 988-999
  Cong Wang, David Carral, Pascal Hitzler
- ClickOn_A: An Editor for DL-Lite_A Based Ontology Design 1000-1010
  Michael Wolters, German Nemirovski, Andreas Nolle
- Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning 1011-1023
  Kejia Wu, Volker Haarslev

2013-07-18: submitted by Birte Glimm, Markus Krötzsch
2013-07-18: published on CEUR-WS.org