DL 2009 proceedings have been published as Volume 477 of the CEUR Workshop Proceedings and can be cited like this:

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, and Ulrike Sattler, editors. Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, United Kindgom, July 27–30, 2009. CEUR Workshop Proceedings. Vol. 477.

Invited Papers

Leonid Libkin.
Open and Closed World Assumptions in Data Exchange
Kavitha Srinivas.
OWL Reasoning in the Real World: Searching for Godot
Rajeev Goré.
Global Caching, Inverse Roles and Fixpoint Logics

Papers Accepted for Oral Presentation

Thomas Lukasiewicz and Azzurra Ragone.
A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation
Héctor Pérez-Urbina, Boris Motik and Ian Horrocks.
A Comparison of Query Rewriting Techniques for DL-lite
Francesco M. Donini, Simona Colucci, Tommaso Di Noia and Eugenio Di Sciascio.
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
Alessandro Artale, Diego Calvanese, Roman Kontchakov and Michael Zakharyaschev.
Adding Weight to DL-Lite
Yevgeny Kazakov.
An Extension of Regularity Conditions for Complex Role Inclusion Axioms
Rafael Peńaloza and Baris Sertkaya.
Axiom Pinpointing is Hard
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks and Rafael Berlanga.
Building Ontologies Collaboratively Using ContentCVS
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter and Michael Zakharyaschev.
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite
Birte Glimm and Sebastian Rudolph.
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
Yevgeny Kazakov.
Consequence-Driven Reasoning for Horn SHIQ Ontologies
Alessandro Artale, Diego Calvanese, Roman Kontchakov and Michael Zakharyaschev.
DL-Lite without UNA
Inanç Seylan, Enrico Franconi and Jos de Bruijn.
Effective Query Rewriting with Ontologies over DBoxes (extended abstract)
Rob Shearer, Ian Horrocks and Boris Motik.
Exploiting Partial Information in Taxonomy Construction
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev.
Extending DL-Lite Sometime in the Future
Shoham Ben-David, Jeffrey Pound, Richard Trefler, Dmitry Tsarkov and Grant Weddell.
Fair Cycle Detection using Description Logic Reasoning
Boris Konev, Dirk Walther and Frank Wolter.
Forgetting and uniform interpolation in extensions of the description logic EL
Bernardo Cuenca Grau and Boris Motik.
Importing Ontologies with Hidden Content
Matthew Horridge, Bijan Parsia and Ulrike Sattler.
Lemmas for Justifications in OWL
Arina Britz, Johannes Heidema and Tommie Meyer.
Modelling Object Typicality in Description Logics
Pavel Klinov, Bijan Parsia and Ulrike Sattler.
On Correspondences between Probabilistic First-Order and Description Logics
Giuseppe De Giacomo, Maurizio Lenzerini and Riccardo Rosati.
On Higher-Order Description Logics
Nasim Farsiniamarj and Volker Haarslev.
Optimizing Reasoning with Qualified Number Restrictions in SHQ
Franz Baader, Meghyn Bienvenu, Carsten Lutz and Frank Wolter.
Query Answering over DL ABoxes: How to Pick the Relevant Symbols
Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato.
Reasoning About Typicality in ALC and EL
Szymon Klarman and Stefan Schlobach.
Relativizing Concept Descriptions to Comparison Classes
Zhe Wang, Kewen Wang and Rodney Topor.
Revision of DL-Lite Knowledge Bases
Mark Kaminski and Gert Smolka.
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
Umberto Straccia, Eufemia Tinelli, Simona Colucci, Tommaso Di Noia and Eugenio Di Sciascio.
A System for Retrieving Top-k Candidates to Job Positions
Andrea Calě, Georg Gottlob and Thomas Lukasiewicz.
Tractable Query Answering over Ontologies with Datalog+/-
Franz Baader and Barbara Morawska.
Unification in the Description Logic EL
Rui Zhang, Alessandro Artale, Fausto Giunchiglia and Bruno Crispo.
Using Description Logics in Relation Based Access Control
Yuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Rahmani, Andreas Friesen, Yuting Zhao, Jeff Z. Pan and Steffen Staab.
Validating Process Refinement with Ontologies
Michael Wessel, Marko Luther and Ralf Möller.
What Happened to Bob? Semantic Data Mining of Context Histories
Ulrike Sattler, Thomas Schneider and Michael Zakharyaschev.
Which Kind of Module Should I Extract?

Papers Accepted for Poster Presentation

Guilin Qi, Qiu Ji and Peter Haase.
A Conflict-based Operator for Mapping Revision
Giorgos Stoilos and Giorgos Stamou.
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
Markus Krötzsch and Sebastian Rudolph.
A Matter of Principles: Towards the Largest DLP Possible
Zsolt Zombori and Gergely Lukácsy.
A Resolution Based Description Logic Calculus
Krzysztof Goczyła, Wojciech Waloszek and Aleksander Waloszek.
A Semantic Algebra for Modularized Description Logics Knowledge Bases
Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini.
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results
Jocelyne Faddoul, Volker Haarslev and Ralf Möller.
Algebraic Tableau Algorithm for ALCOQ
Xiaowang Zhang, Zhihu Zhang and Zuoquan Lin.
An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC
Espen H. Lian and Arild Waaler.
An Only Knowing Approach to Defeasible Description Logics (extended abstract)
Zhi Qiang Zhuang and Maurice Pagnucco.
Belief Contraction in the Description Logic EL
Jeff Z. Pan, Edward Thomas and Yuting Zhao.
Completeness Guaranteed Approximations for OWL-DL Query Answering
Jeffrey Pound, David Toman, Grant Weddell and Jiewen Wu.
Concept Projection in Algebras for Computing Certain Answer Descriptions
Johannes Bauer, Ulrike Sattler and Bijan Parsia.
Explaining by Example: Model Exploration for Ontology Comprehension
Michael Mendler and Stephan Scheele.
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics
Claudio Corona, Marco Ruzzi and Domenico Fabio Savo.
Filling the gap between OWL 2 QL and QuOnto: ROWLKit
Sofia Espinosa Peraldi, Atila Kaya and Ralf Möller.
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
Oliver Gries.
Generalized Closed World Reasoning in Description Logics with Extended Domain Closure
Felix Distel.
Model-Based Most Specific Concepts in Some Inexpressive Description Logics
Baris Sertkaya.
OntoComP System Description
Xiaowang Zhang, Guilin Qi, Yue Ma and Zuoquan Lin.
Quasi-Classical Semantics for Expressive Description Logics
Rafael Peńaloza.
Reasoning With Weighted Ontologies
Julian Mendez and Boontawee Suntisrivaraporn.
Reintroducing CEL as an OWL 2 EL Reasoner
Yuan Ren, Jeff Z. Pan and Yuting Zhao.
Soundness Preserving Approximation for TBox Reasoning in R
Carlos Areces, Daniel Gorín, Alejandra Lorenzo and Mariano Pérez Rodríguez.
Testing Provers on a Grid -- Framework Description