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