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