RR 2016

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

09.00 – 10.10

Keynote:

Abraham Bernstein

• Society Rules

10.10 – 10.40

Coffee Break

10.40 – 11.50

Session 2: Reasoning with incomplete data, 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

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: DL reasoning (plus short paper on constraints in RDF graphs)

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