RR 2016

RR 2016 Programme

Venue: Room 10, on the third floor at AECC

Day 1: Friday 9th September

14.00 – 14.10

Welcome address

 

14.10 – 15.20

Keynote:

 

 

Meghyn Bienvenu

  • On the Limits and Possibilities of Query Rewriting

15.20 – 15.50

Coffee Break

 

15.50 – 17.00

Session 1:   OBDA and query rewriting

 

Mirko Michele Dimartino, Andrea Calì, Alexandra Poulovassilis and Peter Wood

  • Query Rewriting under Linear EL Knowledge Bases

 

Cristina Civili, Jose Mora, Riccardo Rosati, Marco Ruzzi and Valerio Santarelli

  • Semantic Analysis of R2RML Mappings for Ontology-based Data Access

 

(short) Diego Calvanese, Elem Guzel Kalayci, Vladislav Ryzhikov and Guohui Xiao

  • Towards Practical OBDA with Temporal Ontologies (Position Paper)

19.00 – 22.00

Civic Reception and Conference Dinner at the Town House

__________________________________________________________________________

Day 2: Saturday 10th September

09.00 – 10.10

Keynote:

 

 

Abraham Bernstein

  • Society Rules

10.10 – 10.40

Coffee Break

 

10.40 – 11.50

Session 2: Incomplete data and non-monotonic reasoning

 

Leonid Libkin

 

  • Negative Knowledge for Certain Query Answers

 

Stathis Delivorias and Sebastian Rudolph

  • Revisiting Grounded Circumscription in Description Logics

 

(short) Kwabena Amoako Nuamah, Alan Bundy and Christopher Lucas

  • Functional Inferences over Heterogeneous Data

11.50 – 13.00

Doctoral Consortium

 

13.00 – 14.30

Lunch

 

14.30 – 15.40

Keynote:

 

 

Leonid Libkin

  • Efficient Computation of Certain Answers: Breaking the CQ Barrier

15.40 – 16.10

Coffee Break

 

16.10 – 17.00

Session 3:  Existential rules 1

 

Georg Gottlob, Andreas Pieris and Mantas Simkus

  • The Impact of Active Domain Predicates on Guarded Existential Rules

 

Mostafa Milani, Andrea Cali and Leopoldo Bertossi

  • A Hybrid Approach to Query Answering under Expressive Datalog+/-

17.00 – 17.10

Short Break

 

17.10 – 18.00

Session 4:  Existential rules 2

 

Mostafa Milani and Leopoldo Bertossi

  • Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations

 

Meghyn Bienvenu and Michaël Thomazo

  • On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules

 ___________________________________________________________________________________

Day 3: Sunday 11th September

09.30 – 10.40

Keynote:

 

 

Ian Horrocks

 

  • Logic and Reasoning and Scalability entails falsum?

10.40 – 11.10

Coffee Break

 

11.10 – 12.20

Session 5: Reasoning in Description Logics and OWL

 

Birte Glimm, Yevgeny Kazakov and Trung-Kien Tran

  • Scalable Reasoning by Abstraction Beyond DL-Lite

 

Yuan Ren,Jeff Z. Pan, Isa Guclu and Martin Kollingbaum

  • A Combined approach to Incremental Reasoning for EL Ontologies

 

(short) Olivier Corby, Catherine Faron Zucker and Raphaël Gazzotti

  • Validating Ontologies against OWL 2 Profiles with the SPARQL Template Transformation Language

12.20 – 12.40

Closing Session