[CEUR Workshop Proceedings] Vol-573

Copyright © 2010 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

2010 International Workshop on
Description Logics

Waterloo, Ontario, Canada, May 4-7, 2010

Edited by

Volker Haarslev *
David Toman **
Grant Weddell **

* Department of Computer Science and Software Engineering, Concordia University, Montreal, Canada
D.R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada

Table of Contents

Invited Talks

  1. From DL to SMT (and back?)
    Roberto Sebastiani
  2. Searching for the Holy Grail
    Ian Horrocks
  3. Composing and Inverting Schema Mappings
    Phokion Kolaitis

Paper Presentations

  1. Temporal Conceptual Modelling with DL-Lite
    Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
  2. Mastro at Work: Experiences on Ontology-Based Data Access
    Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi, Gabriele Stella
  3. Justification Masking in OWL
    Matthew Horridge, Bijan Parsia, Ulrike Sattler
  4. EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers
    Carsten Lutz, Robert Piro, Frank Wolter
  5. Checking Full Satisfiability of Conceptual Models
    Alessandro Artale, Diego Calvanese, Yazmin Angelica Ibanez-Garcia
  6. Second-Order Description Logics: Semantics, Motivation, and a Calculus
    Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M Donini, Azzurra Ragone
  7. Tractable Extensions of the Description Logic EL with Numerical Datatypes
    Despoina Magka, Yevgeny Kazakov, Ian Horrocks
  8. Supporting the Development of Data Wrapping Ontologies (Extended Abstract)
    Lina Lubyte, Sergio Tessaris
  9. Updating TBoxes in DL-Lite
    Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt
  10. Orel: Database-Driven Reasoning for OWL 2 Profiles
    Markus Krotzsch, Anees Mehdi, Sebastian Rudolph
  11. Optimal Rewritings in Definitorially Complete Description Logics
    Inanc Seylan, Enrico Franconi, Jos de Bruijn
  12. Extending OWL with Integrity Constraints
    Jiao Tao, Evren Sirin, Jie Bao, Deborah McGuinness
  13. Query Answering in the Description Logic S
    Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus
  14. Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results
    Jocelyne Faddoul, Volker Haarslev
  15. Complexity of Axiom Pinpointing in the DL-Lite Family
    Rafael Penaloza, Baris Sertkaya
  16. Distributed Island-based Query Answering for Expressive Ontologies
    Sebastian Wandelt, Ralf Moeller
  17. Paraconsistent Description Logics Revisited
    Norihiro Kamide
  18. Optimized DL Reasoning via Core Blocking
    Birte Glimm, Ian Horrocks, Boris Motik
  19. Correcting Access Restrictions to a Consequence
    Martin Knechtel, Rafael Penaloza
  20. The modular structure of an ontology: an empirical study
    Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider
  21. Optimization Techniques for Fuzzy Description Logics
    Nikolaos Simou, Theofilos Mailis, Giorgos Stoilos, Giorgos Stamou
  22. Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes
    Anni-Yasmin Turhan, Rafael Penaloza
  23. Query Rewriting in DL-Lite_^(HN)_horn
    Elena Botoeva, Alessandro Artale, Diego Calvanese
  24. The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
    Arne Meier, Thomas Schneider
  25. Towards Formal Comparison of Ontology Linking, Mapping and Importing
    Martin Homola, Luciano Serafini
  26. Query Algebra and Query Optimization for Concept Assertion Retrieval
    Jeffrey Pound, David Toman, Grant Weddell, Jiewen Wu
  27. On the feasibility of Description Logic knowledge bases with rough concepts and vague instances
    C. Maria Keet
  28. Towards Soundness Preserving Approximation for ABox Reasoning of OWL2
    Yuan Ren, Jeff Z. Pan, Yuting Zhao
  29. TBox Classification in Parallel: Design and First Evaluation
    Mina Aslani, Volker Haarslev

Poster Presentations

  1. The Logical Difference For Fuzzy EL+ Ontologies
    Shasha Feng, Yonggang zhang, Dantong Ouyang, Haiyan Che, Jie Liu
  2. Automata-Based Abduction for Tractable Diagnosis
    Thomas Hubauer, Steffen Lamparter, Michael Pirker
  3. Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms
    Chan Le Duc, Myriam Lamolle
  4. Structure Preserving TBox Repair using Defaults
    Thomas Scharrenbach, Rolf Grütter, Bettina Waldvogel, Abraham Bernstein
  5. A Compatible Approach to Temporal Description Logics
    Norihiro Kamide
  6. Guiding Reification in OWL through Aggregation
    Paula Severi, Jose Fiadeiro, David Ekserdjian
  7. Generating Referring Expressions with OWL2
    Yuan Ren, Kees van Deemter, Jeff Z. Pan
  8. A Multi-Context System Computing Modalities
    Tarek Richard Besold, Bernhard Schiemann
  9. An Algebraic Approach to Dynamic Epistemic Logic
    Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh
  10. A MapReduce Algorithm for EL+
    Raghava Mutharaju, Frederick Maier, Pascal Hitzler
  11. Distance-based Measures of Inconsistency and Incoherency for Description Logics
    Yue Ma, Pascal Hitzler
  12. Logic for Modeling Product Structure
    Henson Graves
  13. KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
    Quentin Reul, Jeff Z. Pan

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

08-Jun-2010: submitted by Grant Weddell, David Toman
09-Jun-2010: published on CEUR-WS.org