Workshop Programme for July 29 (Wednesday)

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 – 10:00 Invited talk (Session chair: Enrico Franconi)
Rajeev Goré. Global Caching, Inverse Roles and Fixpoint Logics
10:00 – 10:10 Short break
10:10 – 11:00 Non-monotonic DLs (Session chair: Roman Kontchakov)
Oral presentations
10:10 – 10:30 Arina Britz, Johannes Heidema and Tommie Meyer.
Modelling Object Typicality in Description Logics
10:30 – 10:50 Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato.
Reasoning About Typicality in ALC and EL
Poster announcements
10:50 – 10:52 Espen H. Lian and Arild Waaler.
An Only Knowing Approach to Defeasible Description Logics (extended abstract)
10:52 – 10:54 Oliver Gries.
Generalized Closed World Reasoning in Description Logics with Extended Domain Closure
11:00 – 11:30 Coffee break
11:30 – 13:00 Standard DL Reasoning (Session chair: Boris Konev)
Oral presentations
11:30 – 11:50 Nasim Farsiniamarj and Volker Haarslev.
Optimizing Reasoning with Qualified Number Restrictions in SHQ
11:50 – 12:10 Mark Kaminski and Gert Smolka.
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
12:10 – 12:30 Yevgeny Kazakov.
Consequence-Driven Reasoning for Horn SHIQ Ontologies
12:30 – 12:50 Rob Shearer,Ian Horrocks and Boris Motik.
Exploiting Partial Information in Taxonomy Construction
Poster announcements
12:50 – 12:52 Jocelyne Faddoul, Volker Haarslev and Ralf Möller.
Algebraic Tableau Algorithm for ALCOQ
12:52 – 12:54 Carlos Areces, Daniel Gorín, Alejandra Lorenzo and Mariano Pérez Rodríguez.
Testing Provers on a Grid -- Framework Description
12:54 – 12:56 Zsolt Zombori and Gergely Lukácsy.
A Resolution Based Description Logic Calculus
13:00 – 14:30 Lunch
14:30 – 15:00 Revision and Paraconsistent Reasoning (Session chair: Meghyn Bienvenu)
Oral presentation
14:30 – 14:50 Zhe Wang, Kewen Wang and Rodney Topor.
Revision of DL-Lite Knowledge Bases
Poster announcements
14:50 – 14:52 Xiaowang Zhang, Guilin Qi, Yue Ma and Zuoquan Lin.
Quasi-Classical Semantics for Expressive Description Logics
14:52 – 14:54 Zhi Qiang Zhuang and Maurice Pagnucco.
Belief Contraction in the Description Logic EL
14:54 – 14:56 Guilin Qi, Qiu Ji and Peter Haase.
A Conflict-based Operator for Mapping Revision
14:56 – 14:58 Xiaowang Zhang, Zhihu Zhang and Zuoquan Lin.
An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC
15:00 – 15:30 Coffee break
15:30 – 16:00 Probabilistic and Fuzzy DLs (Session chair: Jeff Z. Pan)
Oral presentation
15:30 – 15:50 Pavel Klinov, Bijan Parsia and Ulrike Sattler.
On Correspondences between Probabilistic First-Order and Description Logics
Poster announcement
15:50 – 15:52 Giorgos Stoilos and Giorgos Stamou.
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
16:00 – 18:00 Poster and demo session
20:00 – 23:00 Dinner at Oriel College