| Vol-353 Copyright © 2008 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners.

# Proceedings of the

| # 21st International Workshop on Description Logics (DL2008)

Dresden, Germany
May 13–16, 2008

Edited by

### Franz Baader *
Carsten Lutz *
Boris Motik **

* Technical University of Dresden, Germany
** Oxford University, UK

## Table of Contents

Disclaimer. The papers presented at the DL08 workshop are stored at CEUR-WS.org for archiving purposes, only. As with previous DL workshops, DL08 papers are not intended to be a formal publication and should not preclude conference publication.

### Invited Talk

1. Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
   Andrea Cali, Georg Gottlob, and Michael Kifer
2. Mathematical theory makes Formal Concept Analysis versatile
   Bernhard Ganter
3. XPath: (P)DL on trees
   Maarten Marx
4. Using DL to support a very large healthcare terminology: successes and challenges
   Kent Spackman

### Oral Presentation

1. Essential and Mandatory Part-Whole Relations in Conceptual Data Models
   Alessandro Artale and C. Maria Keet
2. Decidable Reasoning over Timestamped Conceptual Models
   Alessandro Artale and David Toman
3. LTL over Description Logic Axioms
   Franz Baader, Silvio Ghilardi and Carsten Lutz.
4. A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
   Franz Baader, Novak Novakovik and Boontawee Suntisrivaraporn
5. DL-SR: a Lite DL with Expressive Rules: Preliminary Results
   Jean-François Baget, Michel Leclère, Marie-Laure Mugnier and Eric Salvat
6. Prime implicate normal form for ALC concepts
   Meghyn Bienvenu.
7. Explanation in DL-Lite
   Alexander Borgida, Diego Calvanese and Mariano Rodriguez
8. Ontology refinement through role assertion analysis: example in pharmacogenomics
   Adrien Coulet, Malika Smail-Tabbone, Amedeo Napoli and Marie-Dominique Devignes
9. Towards Higher-Order DL-Lite
   Giuseppe De Giacomo, Maurizio Lenzerini and Riccardo Rosati
10. A Hybrid Tableau Algorithm for ALCQ
    Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev and Ralf Möller
11. Bridging heterogeneous representations of binary relations: first results
    Chiara Ghidini, Luciano Serafini and Sergio Tessaris
12. Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata
    Birte Glimm, Ian Horrocks and Ulrike Sattler
13. Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support
    Ernesto Jimenez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider and Rafael Berlanga
14. SRIQ and SROIQ are Harder than SHOIQ
    Yevgeny Kazakov
15. Next Steps for Description Logics of Minimal Knowledge and Negation as Failure
    Peihong Ke and Ulrike Sattler
16. Logical Difference and Module Extraction with CEX and MEX
    Boris Konev, Carsten Lutz, Dirk Walther and Frank Wolter
17. Checking DL-Lite modularity with QBF solvers
    Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev
18. The Projection Problem for EL Actions
    Hongkai Liu, Carsten Lutz and Maja Milicic
19. Supporting the Design of Ontologies for Data Access
    Lina Lubyte and Sergio Tessaris
20. Two Upper Bounds for Conjunctive Query Answering in SHIQ
    Carsten Lutz
21. Towards Constructive DL for Abstraction and Refinement
    Michael Mendler and Stephan Scheele
22. The revival of structural subsumption in tableau-based reasoners
    Ralf Moeller, Volker Haarslev and Sebastian Wandelt
23. The Representation of Structured Objects in DLs using Description Graphs
    Boris Motik, Bernardo Cuenca Grau and Ulrike Sattler
24. Conjunctive Query Answering in SH using Knots
    Magdalena Ortiz, Mantas Simkus and Thomas Eiter
25. Automata-based Pinpointing for DLs
    Rafael Penaloza
26. On Ordering and Indexing Metadata for the Semantic Web
    Jeffrey Pound, Lubomir Stanchev, David Toman and Grant Weddell
27. A Kernel Revision Operator for Terminologies
    Guilin Qi, Peter Haase, Zhisheng Huang and Jeff Z. Pan
28. Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces
    Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio and Francesco M Donini
29. All Elephants are Bigger than All Mice
    Sebastian Rudolph, Markus Krötzsch and Pascal Hitzler
30. Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi
    Rob Shearer, Boris Motik and Ian Horrocks
31. Locality and subsumption testing in EL and some of its extensions
    Viorica Sofronie-Stokkermans
32. Classifying Fuzzy Subsumption in Fuzzy-EL+
    Giorgos Stoilos, Giorgos Stamou and Jeff Z. Pan
33. Identifying Objects Over Time with Description Logics
    David Toman and Grant Weddell
34. Planning of Axiom Absorption
    Jiewen Wu and Volker Haarslev

### Poster

1. Towards Parallel Classifcation of TBoxes
   Mina Aslani and Volker Haarslev
2. A UML-Based Method for Deciding Finite Satisfiability in Description Logics
   Mira Balaban and Azzam Maraee
3. Actions over a constructive semantics for ALC
   Loris Bozzato, Mauro Ferrari and Paola Villa
4. Partial and Informative Common Subsumers of Concepts Collections in Description Logics
   Simona Colucci, Eugenio Di Sciascio and Francesco M Donini
5. Consistency checking for extended description logics
   Olivier Couchariere, Marie-Jeanne Lesot and bernadette Bouchon-meunier
6. Rewriting Rules into SROIQ Axioms
   Francis Gasse, Ulrike Sattler and Volker Haarslev
7. Subsumption Propagation between Remote Ontologies in Distributed Description Logic
   Martin Homola
8. Unifying industry-grade class-based conceptual data modeling languages with CMcom
   C. Maria Keet
9. The SAT-Tableau Calculus
   Uwe Keller and Stijn Heymans
10. Paraconsistent Reasoning for Expressive and Tractable Description Logics
    Yue Ma, Pascal Hitzler and Zuoquan Lin
11. ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
    Tobias Henrik Näth and Ralf Möller
12. Visualization of Description Logic Models
    Fernando Naufel and Carlos Bazilio Martins
13. A Survey of Revision Approaches in Description Logics
    Guilin Qi and Fangkai Yang
14. Description Logics-Based Modelling for Precise Information Retrieval
    Saïd Radhouani and Gilles Falquet
15. Distributed Resolution for ALC
    Anne Schlicht and Heiner Stuckenschmidt
16. Explaining User Errors in Knowledge Base Completion
    Baris Sertkaya
17. Realization Problem for Formal Concept Analysis
    Nikolay Shilov
18. Partitioning OWL Knowledge Bases - Revisited and Revised
    Sebastian Wandelt

9-Jun-2008: submitted by Carsten Lutz
10-Jun-2008: published on CEUR-WS.org