Description Logics 2009: Oxford, UK
Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler (Eds.): Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR-WS.org 2009 CEUR Workshop Proceedings 477
Invited Talk
- 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.
- 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.
- Yevgeny Kazakov: Consequence-Driven Reasoning for Horn SHIQ Ontologies.
- Inanç Seylan, Enrico Franconi, Jos de Bruijn: Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract).
- 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.
- Pavel Klinov, Bijan Parsia, Ulrike Sattler: On Correspondences between Probabilistic First-Order and Description Logics.
- 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.
- 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+/-.
- 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.
Poster Presentation
- Giorgos Stoilos, Giorgos B. Stamou: A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics.
- 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.
- 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).
- 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.
- Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez: Testing Provers on a Grid - Framework Description.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team