default search action
Description Logics 2009: Oxford, UK
- Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler:
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477, CEUR-WS.org 2009
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). - Robert D. C. 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 Sofía Espinosa Peraldí, 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: