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