Workshop Programme for July 28 (Tuesday)

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:15 – 10:15 Invited talk (Session chair: Peter F. Patel-Schneider)
Kavitha Srinivas. OWL Reasoning in the Real World: Searching for Godot
10:15 – 10:30 Short break
10:30 – 11:20 Lightweight DLs (Session chair: Riccardo Rosati)
Oral presentations
10:30 – 10:50 Alessandro Artale, Diego Calvanese, Roman Kontchakov and Michael Zakharyaschev.
Adding Weight to DL-Lite
10:50 – 11:10 Alessandro Artale, Diego Calvanese, Roman Kontchakov and Michael Zakharyaschev.
DL-Lite without UNA
Poster announcements
11:10 – 11:12 Markus Krötzsch and Sebastian Rudolph.
A Matter of Principles: Towards the Largest DLP Possible
11:12 – 11:14 Julian Mendez and Boontawee Suntisrivaraporn.
Reintroducing CEL as an OWL 2 EL Reasoner
11:20 – 11:50 Coffee break
11:50 – 13:00 Modularity (Session chair: Yevgeny Kazakov)
Oral presentations
11:50 – 12:10 Boris Konev, Dirk Walther and Frank Wolter.
Forgetting and uniform interpolation in extensions of the description logic EL
12:10 – 12:30 Bernardo Cuenca Grau and Boris Motik.
Importing Ontologies with Hidden Content
12:30 – 12:50 Ulrike Sattler, Thomas Schneider and Michael Zakharyaschev.
Which Kind of Module Should I Extract?
Poster announcement
12:50 – 12:52 Krzysztof Goczyła, Wojciech Waloszek and Aleksander Waloszek.
A Semantic Algebra for Modularized Description Logics Knowledge Bases
13:00 – 14:30 Lunch
14:30 – 16:00 Applications of DLs (Session chair: Volker Haarslev)
Oral presentations
14:30 – 14:50 Michael Wessel, Marko Luther and Ralf Möller.
What Happened to Bob? Semantic Data Mining of Context Histories
14:50 – 15:10 Umberto Straccia, Eufemia Tinelli, Simona Colucci, Tommaso Di Noia and Eugenio Di Sciascio.
A System for Retrieving Top-k Candidates to Job Positions
15:10 – 15:30 Rui Zhang, Alessandro Artale, Fausto Giunchiglia and Bruno Crispo.
Using Description Logics in Relation Based Access Control
15:30 – 15:50 Yuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Rahmani, Andreas Friesen, Yuting Zhao, Jeff Z. Pan and Steffen Staab.
Validating Process Refinement with Ontologies
17:00 – 20:00 Guided walking tour of Oxford