[CEUR Workshop Proceedings] Vol-745
urn:nbn:de:0074-745-4

Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.


Proceedings of the

DL Home

2011 International Workshop on
Description Logics
(DL2011)


Barcelona, Spain, July 13-16, 2011



Edited by

Riccardo Rosati *
Sebastian Rudolph **
Michael Zakharyaschev ***

* Dipartimento di Informatica e Sistemistica, Universitá di Roma "La Sapienza", Italy
** Institute of Applied Informatics and Formal Description Methods , Karlsruhe Institute of Technology, Germany
*** Department of Computer Science and Information Systems , Birkbeck College London, U.K.




Table of Contents

Invited Talks

  1. Exchanging More than Complete Data
    Marcelo Arenas
  2. Incremental Decision Procedures for Modal Logic with Nominals and Eventualities
    Gert Smolka
  3. A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration and Ontology Learning
    Heiner Stuckenschmidt

Paper Presentations

  1. Knowledge Base Exchange
    Marcelo Arenas, Elena Botoeva, Diego Calvanese
  2. DL-Lite with Attributes and Sub-Roles (Extended Abstract)
    Alessandro Artale, Yazmin Angelica Ibanez-Garcia, Roman Kontchakov, Vladislav Ryzhikov
  3. Unification in the Description Logic EL without the Top Concept
    Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
  4. GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable
    Franz Baader, Rafael Peñaloza
  5. Verification of Conjunctive-Query Based Semantic Artifacts
    Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis
  6. First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases
    Meghyn Bienvenu
  7. Fuzzy Ontologies over Lattices with T-norms
    Stefan Borgwardt, Rafael Peñaloza
  8. The Complexity of Conjunctive Query Abduction in DL-Lite
    Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
  9. Mapping Data to Higher-Order Description Logic Knowledge Bases
    Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
  10. Correcting Access Restrictions to a Consequence More Flexibly
    Eldora, Martin Knechtel, Rafael Peñaloza
  11. Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology
    Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris
  12. Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0
    Francis Gasse, Viorica Sofronie-Stokkermans
  13. Status QIO: An Update
    Birte Glimm, Yevgeny Kazakov, Carsten Lutz
  14. Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus
    Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
  15. Rewriting Ontological Queries into Small Nonrecursive Datalog Programs
    Georg Gottlob, Thomas Schwentick
  16. The Cognitive Complexity of OWL Justifications
    Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler
  17. Relaxed Abduction: Robust Information Interpretation for Incomplete Models
    Thomas Hubauer, Steffen Lamparter, Michael Pirker
  18. The Complexity of Probabilistic EL
    Jean Christoph Jung, Victor Gutierrez-Basulto, Carsten Lutz, Lutz Schröder
  19. Unchain My EL Reasoner
    Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
  20. On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution
    Evgeny Kharlamov, Dmitriy Zheleznyakov
  21. On (In)Tractability of OBDA with OWL 2 QL
    Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev
  22. Two-Dimensional Description Logics of Context
    Szymon Klarman, Victor Didier Gutiérrez Basulto
  23. Query Answering over SROIQ Knowledge Bases with SPARQL
    Ilianna Kollia, Birte Glimm, Ian Horrocks
  24. Module Extraction via Query Inseparability in OWL 2 QL
    Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
  25. Nominal Schemas for Integrating Rules and Description Logics
    Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
  26. On P/NP Dichotomies for EL Subsumption under Relational Constraints
    Agi Kurucz, Frank Wolter, Michael Zakharyaschev
  27. On the Evolution of the Instance Level of DL-Lite Knowledge Bases
    Maurizio Lenzerini, Domenico Fabio Savo
  28. Non-Uniform Data Complexity of Query Answering in Description Logics
    Carsten Lutz, Frank Wolter
  29. Practical ABox Cleaning in DL-Lite (progress report)
    Giulia Masotti, Riccardo Rosati, Marco Ruzzi
  30. Practical Epistemic Entailment Checking in SROIQ
    Anees Mehdi, Sebastian Rudolph
  31. Implementing Completion-Based Inferences for the EL-family
    Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan
  32. Forgetting in General EL Terminologies
    Nadeschda Nikitina
  33. Reasoning-Supported Interactive Revision of Knowledge Bases
    Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
  34. Dependencies to Optimize Ontology Based Data Access
    Mariano Rodriguez-Muro, Diego Calvanese
  35. Contextual Representation and Reasoning with Description Logics
    Luciano Serafini, Martin Homola
  36. In the Search of Improvements to the EL+ Classification Algorithm
    Baris Sertkaya
  37. Fixed Parameter Tractable Reasoning in DLs via Decomposition
    Frantisek Simancik, Boris Motik, Markus Krötzsch
  38. Repairing Incomplete Reasoners
    Giorgos Stoilos, Bernardo Cuenca Grau

Poster Presentations

  1. Extracting Finite Sets of Entailments from OWL Ontologies
    Samantha Bail, Bijan Parsia, Ulrike Sattler
  2. Concept Model Semantics for DL Preferential Reasoning
    Arina Britz, Thomas Meyer, Ivan Varzinczak
  3. Goal-oriented Query Rewriting for OWL 2 QL
    Alexandros Chortaras, Despoina Trivela, Giorgos Stamou
  4. Collective Classification in Semantic Mapping with a Probabilistic Description Logic
    Fabiano Correa, Fabio Cozman, Jun Okamoto Jr
  5. The Modular Structure of an Ontology: Atomic Decomposition towards Applications
    Chiara Del Vescovo
  6. Satisfiability in EL with Sets of Probabilistic ABoxes
    Marcelo Finger, Renata Wassermann, Fabio Cozman
  7. Quelo: an Ontology-Driven Query Interface
    Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris
  8. A Connection Method for Inferencing over the Description Logic ALC
    Fred Freitas
  9. Structural Models in Axiomatic SysML
    Henson Graves
  10. Integrity Constraints for Linked Data
    Alan Jeffrey, Peter F. Patel-Schneider
  11. Local Closed World Semantics: Keep it simple, stupid!
    Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler
  12. A Technique for Handling the Right Hand Side of Complex RIAs
    Milenko Mosurovic, Nenad Krdzavac
  13. Bidirectional Reachability-Based Modules
    Riku Nortje, Arina Britz, Thomas Meyer
  14. On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling
    Stefan Scheglmann, Carsten Saathoff, Steffen Staab
  15. Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases
    Eufemia Tinelli, Francesco Maria Donini, Michele Ruta, Eugenio Di Sciascio
  16. Paraconsistent Rough Description Logic
    Henrique Viana, João Alcântara, Ana Teresa Martins

The whole proceedings can also be downloaded as a single file (pdf).


29-Jun-2011: submitted by Sebastian Rudolph, Michael Zakharyaschev
30-Jun-2011: published on CEUR-WS.org