[CEUR Workshop Proceedings] Vol-846

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

2012 International Workshop on
Description Logics

Rome, Italy, June 7-10, 2012

Edited by

Yevgeny Kazakov *
Domenico Lembo **
Frank Wolter ***

* Institut of Artificial Intelligence, University of Ulm, Germany
** Dipartimento di Informatica e Sistemistica, Universitá di Roma "La Sapienza", Italy
*** Department of Computer Science, University of Liverpool, U.K.

Table of Contents

Invited Talks

  1. Viewing the Web as a Distributed Knowledge Base
    Serge Abiteboul
  2. Defaults in Description Logics: So Simple, So Difficult
    Piero Bonatti
  3. What's missing? DLs, OWL and the Ecology of Semantic Systems
    Alan Rector

Paper Presentations

  1. Representability in DL-Lite_R Knowledge Base Exchange
    Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
  2. Modular Combination of Reasoners for Ontology Classification
    Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks
  3. UEL: Unification Solver for EL
    Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska
  4. A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes
    Franz Baader, Stefan Borgwardt, Barbara Morawska
  5. Diversity of Reason: Equivalence Relations over Description Logic Explanations
    Samantha Bail, Bijan Parsia, Ulrike Sattler
  6. Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies
    Meghyn Bienvenu
  7. Deciding FO-Rewritability in EL
    Meghyn Bienvenu, Carsten Lutz, Frank Wolter
  8. Answering Expressive Path Queries over Lightweight DL Knowledge Bases
    Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus
  9. Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts
    Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati
  10. Gödel Negation Makes Unwitnessed Consistency Crisp
    Stefan Borgwardt, Felix Distel, Rafael Peñaloza
  11. Towards More Effective Tableaux Reasoning for CKR
    Loris Bozzato, Martin Homola, Luciano Serafini
  12. Inverting Subsumption for Constructive Reasoning
    Simona Colucci, Francesco M. Donini
  13. An ExpSpace Tableau-based Algorithm for SHOIQ
    Chan Le Duc, Myriam Lamolle, Olivier Cure
  14. Role-depth Bounded Least Common Subsumers for EL+ and ELI
    Andreas Ecke, Anni-Yasmin Turhan
  15. Towards Practical Query Answering for Horn-SHIQ
    Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao
  16. Exact Query Reformulation over SHOQ DBoxes
    Enrico Franconi, Volha Kerhet, Nhung Ngo
  17. Preferential Low Complexity Description Logics: Complexity Results and Proof Methods
    Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
  18. Concept-Based Semantic Difference in Expressive Description Logics
    Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler
  19. Equality-Friendly Well-Founded Semantics and Applications to Description Logics
    Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
  20. Finite Model Reasoning in DL-Lite with Cardinality Constraints
    Yazmin Angélica Ibáñez-García
  21. An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting
    Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
  22. Long Rewritings, Short Rewritings
    Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev
  23. Cost Based Query Ordering over OWL Ontologies
    Ilianna Kollia, Birte Glimm
  24. Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions
    Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
  25. Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity
    Carsten Lutz, Inanc Seylan, Frank Wolter
  26. Modelling Structured Domains Using Description Graphs and Logic Programming
    Despoina Magka, Boris Motik, Ian Horrocks
  27. Axiom Pinpointing Using an Assumption-Based Truth Maintenance System
    Hai H. Nguyen, Natasha Alechina, Brian Logan
  28. Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering
    Özgür L. Özçep, Ralf Möller
  29. OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL
    Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
  30. Query Rewriting under Extensional Constraints in DL-Lite
    Riccardo Rosati
  31. Elimination of Complex RIAs without Automata
    Frantisek Simancik
  32. Improved Algorithms for Module Extraction and Atomic Decomposition
    Dmitry Tsarkov
  33. Incremental Query Rewriting for OWL 2 QL
    Tassos Venetis, Giorgos Stoilos, Giorgos Stamou
  34. Absorption for ABoxes
    Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell
  35. A Parallel Reasoner for the Description Logic ALC
    Kejia Wu, Volker Haarslev
  36. Towards an Expressive Decidable Logical Action Theory
    Wael Yehia, Mikhail Soutchanski

Poster Presentations

  1. Concurrent Classification of OWL Ontologies - An Empirical Evaluation
    Mina Aslani, Volker Haarslev
  2. Non-Gödel Negation Makes Unwitnessed Consistency Undecidable
    Stefan Borgwardt, Rafael Peñaloza
  3. ORM2 Encoding into Description Logic (Extended Abstract)
    Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin
  4. Adding Context to Tableaux for DLs
    Weili Fu, Rafael Peñaloza
  5. Naive ABox abduction in ALC using a DL tableau
    Ken Halland, Katarina Britz
  6. Patent Valuation Using Difference in ALEN
    Naouel Karam, Adrian Paschke
  7. A Formal Characterization of Concept Learning in Description Logics
    Francesca A. Lisi
  8. Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking
    Jaromir Malenko, Petr Stepanek
  9. A Protege Plug-in for Defeasible Reasoning
    Kody Moodley, Thomas Meyer, Ivan Varzinczak
  10. A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms
    Milenko Mosurovic, Henson Graves, Nenad Krdzavac
  11. Optimising Parallel ABox Reasoning of EL Ontologies
    Yuan Ren, Jeff Z. Pan, Kevin Lee
  12. Probabilistic Datalog+/- under the Distribution Semantics
    Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
  13. Algebraic Reasoning for SHIQ
    Laleh Roosta Pour, Volker Haarslev
  14. Small Datalog Query Rewritings for EL
    Giorgio Stefanoni, Boris Motik, Ian Horrocks
  15. Extended Caching and Backjumping for Expressive Description Logics
    Andreas Steigmiller, Thorsten Liebig, Birte Glimm
  16. From EL to Tractable Existential Rules with Complex Role Inclusions
    Michaël Thomazo
  17. Logical Relevance in Ontologies
    Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler
  18. Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
    Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
  19. Efficient Upper Bound Computation of Query Answers in Expressive Description Logics
    Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks

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

16-May-2012: submitted by Yevgeny Kazakov
17-May-2012: published on CEUR-WS.org