Description Logics 2009: Oxford, UK

Invited Talk

• Leonid Libkin, Cristina Sirangelo:
  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.
  

Oral Presentation

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

Poster Presentation

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