- Szymon Klarman, Víctor Gutiérrez-Basulto:
Two-Dimensional Description Logics of Context. Description Logics 2011 - Ilianna Kollia, Birte Glimm, Ian Horrocks:
Query Answering over SROIQ Knowledge Bases with SPARQL. Description Logics 2011 - Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011 - Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler:
Local Closed World Semantics: Keep it simple, stupid! Description Logics 2011 - Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler:
Nominal Schemas for Integrating Rules and Description Logics. Description Logics 2011 - Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On P/NP Dichotomies for EL Subsumption under Relational Constraints. Description Logics 2011 - Maurizio Lenzerini, Domenico Fabio Savo:
On the Evolution of the Instance Level of DL-Lite Knowledge Bases. Description Logics 2011 - Carsten Lutz, Frank Wolter:
Non-Uniform Data Complexity of Query Answering in Description Logics. Description Logics 2011 - Giulia Masotti, Riccardo Rosati, Marco Ruzzi:
Practical ABox Cleaning in DL-Lite (progress report). Description Logics 2011 - Anees Mehdi, Sebastian Rudolph:
Practical Epistemic Entailment Checking in SROIQ. Description Logics 2011 - Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan:
Implementing Completion-Based Inferences for the EL-family. Description Logics 2011 - Milenko Mosurovic, Nenad Krdzavac:
A Technique for Handling the Right Hand Side of Complex RIAs. Description Logics 2011 - Nadeschda Nikitina:
Forgetting in General EL Terminologies. Description Logics 2011 - Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
Reasoning-Supported Interactive Revision of Knowledge Bases. Description Logics 2011 - Riku Nortje, Arina Britz, Thomas Andreas Meyer:
Bidirectional Reachability-Based Modules. Description Logics 2011 - Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Mapping Data to Higher-Order Description Logic Knowledge Bases. Description Logics 2011 - Mariano Rodriguez-Muro, Diego Calvanese:
Dependencies to Optimize Ontology Based Data Access. Description Logics 2011 - Stefan Scheglmann, Carsten Saathoff, Steffen Staab:
On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling. Description Logics 2011 - Luciano Serafini, Martin Homola:
Contextual Representation and Reasoning with Description Logics. Description Logics 2011 - Baris Sertkaya:
In the Search of Improvements to the EL+ Classification Algorithm. Description Logics 2011 - Frantisek Simancik, Boris Motik, Markus Krötzsch:
Fixed Parameter Tractable Reasoning in DLs via Decomposition. Description Logics 2011 - Gert Smolka:
Incremental Decision Procedures for Modal Logic with Nominals and Eventualities. Description Logics 2011 - Giorgos Stoilos, Bernardo Cuenca Grau:
Repairing Incomplete Reasoners. Description Logics 2011 - Heiner Stuckenschmidt:
A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration and Ontology Learning. Description Logics 2011 - Eufemia Tinelli, Francesco M. Donini, Michele Ruta, Eugenio Di Sciascio:
Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases. Description Logics 2011 - Chiara Del Vescovo:
The Modular Structure of an Ontology: Atomic Decomposition towards Applications. Description Logics 2011 - Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins:
Paraconsistent Rough Description Logic. Description Logics 2011 - Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev:
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011 [contents]