[CEUR Workshop Proceedings] 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

DL Home

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


  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