| Vol-846 urn:nbn:de:0074-846-1 Copyright © 2012 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.

> # Proceedings of the

> | # 2012 International Workshop on Description Logics (DL2012)

> Rome, Italy, June 7-10, 2012

Edited by

### Yevgeny Kazakov *
Domenico Lembo **
Frank Wolter ***

* Institut of Artificial Intelligence, University of Ulm, Germany
** Dipartimento di Informatica e Sistemistica, Universitá di Roma "La Sapienza", Italy
*** Department of Computer Science, University of Liverpool, U.K.

## Table of Contents

### Invited Talks

1. Viewing the Web as a Distributed Knowledge Base
   Serge Abiteboul
2. Defaults in Description Logics: So Simple, So Difficult
   Piero Bonatti
3. What's missing? DLs, OWL and the Ecology of Semantic Systems
   Alan Rector

### Paper Presentations

1. Representability in DL-Lite_R Knowledge Base Exchange
   Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2. Modular Combination of Reasoners for Ontology Classification
   Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks
3. UEL: Unification Solver for EL
   Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska
4. A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes
   Franz Baader, Stefan Borgwardt, Barbara Morawska
5. Diversity of Reason: Equivalence Relations over Description Logic Explanations
   Samantha Bail, Bijan Parsia, Ulrike Sattler
6. Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies
   Meghyn Bienvenu
7. Deciding FO-Rewritability in EL
   Meghyn Bienvenu, Carsten Lutz, Frank Wolter
8. Answering Expressive Path Queries over Lightweight DL Knowledge Bases
   Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
9. Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts
   Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati
10. Gödel Negation Makes Unwitnessed Consistency Crisp
    Stefan Borgwardt, Felix Distel, Rafael Peñaloza
11. Towards More Effective Tableaux Reasoning for CKR
    Loris Bozzato, Martin Homola, Luciano Serafini
12. Inverting Subsumption for Constructive Reasoning
    Simona Colucci, Francesco M. Donini
13. An ExpSpace Tableau-based Algorithm for SHOIQ
    Chan Le Duc, Myriam Lamolle, Olivier Cure
14. Role-depth Bounded Least Common Subsumers for EL+ and ELI
    Andreas Ecke, Anni-Yasmin Turhan
15. Towards Practical Query Answering for Horn-SHIQ
    Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
16. Exact Query Reformulation over SHOQ DBoxes
    Enrico Franconi, Volha Kerhet, Nhung Ngo
17. Preferential Low Complexity Description Logics: Complexity Results and Proof Methods
    Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
18. Concept-Based Semantic Difference in Expressive Description Logics
    Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
19. Equality-Friendly Well-Founded Semantics and Applications to Description Logics
    Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
20. Finite Model Reasoning in DL-Lite with Cardinality Constraints
    Yazmin Angélica Ibáñez-García
21. An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting
    Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
22. Long Rewritings, Short Rewritings
    Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev
23. Cost Based Query Ordering over OWL Ontologies
    Ilianna Kollia, Birte Glimm
24. Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions
    Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
25. Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity
    Carsten Lutz, Inanc Seylan, Frank Wolter
26. Modelling Structured Domains Using Description Graphs and Logic Programming
    Despoina Magka, Boris Motik, Ian Horrocks
27. Axiom Pinpointing Using an Assumption-Based Truth Maintenance System
    Hai H. Nguyen, Natasha Alechina, Brian Logan
28. Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering
    Özgür L. Özçep, Ralf Möller
29. OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL
    Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
30. Query Rewriting under Extensional Constraints in DL-Lite
    Riccardo Rosati
31. Elimination of Complex RIAs without Automata
    Frantisek Simancik
32. Improved Algorithms for Module Extraction and Atomic Decomposition
    Dmitry Tsarkov
33. Incremental Query Rewriting for OWL 2 QL
    Tassos Venetis, Giorgos Stoilos, Giorgos Stamou
34. Absorption for ABoxes
    Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell
35. A Parallel Reasoner for the Description Logic ALC
    Kejia Wu, Volker Haarslev
36. Towards an Expressive Decidable Logical Action Theory
    Wael Yehia, Mikhail Soutchanski

### Poster Presentations

1. Concurrent Classification of OWL Ontologies - An Empirical Evaluation
   Mina Aslani, Volker Haarslev
2. Non-Gödel Negation Makes Unwitnessed Consistency Undecidable
   Stefan Borgwardt, Rafael Peñaloza
3. ORM2 Encoding into Description Logic (Extended Abstract)
   Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin
4. Adding Context to Tableaux for DLs
   Weili Fu, Rafael Peñaloza
5. Naive ABox abduction in ALC using a DL tableau
   Ken Halland, Katarina Britz
6. Patent Valuation Using Difference in ALEN
   Naouel Karam, Adrian Paschke
7. A Formal Characterization of Concept Learning in Description Logics
   Francesca A. Lisi
8. Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking
   Jaromir Malenko, Petr Stepanek
9. A Protege Plug-in for Defeasible Reasoning
   Kody Moodley, Thomas Meyer, Ivan Varzinczak
10. A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms
    Milenko Mosurovic, Henson Graves, Nenad Krdzavac
11. Optimising Parallel ABox Reasoning of EL Ontologies
    Yuan Ren, Jeff Z. Pan, Kevin Lee
12. Probabilistic Datalog+/- under the Distribution Semantics
    Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
13. Algebraic Reasoning for SHIQ
    Laleh Roosta Pour, Volker Haarslev
14. Small Datalog Query Rewritings for EL
    Giorgio Stefanoni, Boris Motik, Ian Horrocks
15. Extended Caching and Backjumping for Expressive Description Logics
    Andreas Steigmiller, Thorsten Liebig, Birte Glimm
16. From EL to Tractable Existential Rules with Complex Role Inclusions
    Michaël Thomazo
17. Logical Relevance in Ontologies
    Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler
18. Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
    Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
19. Efficient Upper Bound Computation of Query Answers in Expressive Description Logics
    Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks

The whole proceedings can also be downloaded as a single file (pdf).

16-May-2012: submitted by Yevgeny Kazakov
17-May-2012: published on CEUR-WS.org