Workshop Programme for July 27 (Monday)

An invited talk should take no longer than 60 minutes (including presentation and questions).
A regular talk should take no longer than 20 minutes (including presentation and questions).
A poster announcement should take no longer than 2 minutes.

9:00 – 9:15 Opening address
9:15 – 10:15 Invited talk (Session chair: Carsten Lutz)
Leonid Libkin. Open and Closed World Assumptions in Data Exchange
10:15 – 10:30 Short break
10:30 – 11:20 Query Answering I (Session chair: Thomas Lukasiewicz)
Oral presentations
10:30 – 10:50 Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter and Michael Zakharyaschev.
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite
10:50 – 11:10 Birte Glimm and Sebastian Rudolph.
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
Poster announcements
11:10 – 11:12 Jeffrey Pound, David Toman, Grant Weddell and Jiewen Wu.
Concept Projection in Algebras for Computing Certain Answer Descriptions
11:12 – 11:14 Claudio Corona, Marco Ruzzi and Domenico Fabio Savo.
Filling the gap between OWL 2 QL and QuOnto: ROWLKit
11:20 – 11:50 Coffee break
11:50 – 13:00 Explanations and Repair (Session chair: Ralf Möller)
Oral presentations
11:50 – 12:10 Matthew Horridge, Bijan Parsia and Ulrike Sattler.
Lemmas for Justifications in OWL
12:10 – 12:30 Rafael Peñaloza and Baris Sertkaya.
Axiom Pinpointing is Hard
12:30 – 12:50 Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks and Rafael Berlanga.
Building Ontologies Collaboratively Using ContentCVS
Poster announcements
12:50 – 12:52 Rafael Peñaloza.
Reasoning With Weighted Ontologies
12:52 – 12:54 Johannes Bauer, Ulrike Sattler and Bijan Parsia.
Explaining by Example: Model Exploration for Ontology Comprehension
13:00 – 14:30 Lunch
14:30 – 15:20 Non-standard Reasoning Services (Session chair: Anni-Yasmin Turhan)
Oral presentations
14:30 – 14:50 Francesco M. Donini, Simona Colucci, Tommaso Di Noia and Eugenio Di Sciascio.
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
14:50 – 15:10 Franz Baader and Barbara Morawska.
Unification in the Description Logic EL
Poster announcements
15:10 – 15:12 Felix Distel.
Model-Based Most Specific Concepts in Some Inexpressive Description Logics
15:12 – 15:14 Tommaso Di Noia, Eugenio Di Sciascio and Francesco M. Donini.
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results
15:14 – 15:16 Yuan Ren, Jeff Z. Pan and Yuting Zhao.
Soundness Preserving Approximation for TBox Reasoning in R
15:16 – 15:18 Jeff Z. Pan, Edward Thomas and Yuting Zhao.
Completeness Guaranteed Approximations for OWL-DL Query Answering
15:18 – 15:20 Baris Sertkaya.
OntoComP System Description
15:20 – 15:50 Coffee break
15:50 – 17:00 Extensions of DLs I (Session chair: Frank Wolter)
Oral presentations
15:50 – 16:10 Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev.
Extending DL-Lite Sometime in the Future
16:10 – 16:30 Shoham Ben-David, Jeffrey Pound, Richard Trefler, Dmitry Tsarkov and Grant Weddell.
Fair Cycle Detection using Description Logic Reasoning
16:30 – 16:50 Szymon Klarman and Stefan Schlobach.
Relativizing Concept Descriptions to Comparison Classes
Poster announcements
16:50 – 16:52 Sofia Espinosa Peraldi, Atila Kaya and Ralf Möller.
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
16:52 – 16:54 Michael Mendler and Stephan Scheele.
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics
18:00 – 20:00 Welcome reception at Oriel College