Final Program

You can click on the title of a talk to download the corresponding presentation.

May 19

9.00-9.10 Opening
Invited talk
9.10-10.10 Changing the Instance Level of Ontologies: A Logic Approach
  Maurizio Lenzerini - Università degli Studi di Roma 'La Sapienza', Italy
10.10-10.30 Coffee break
Session 1:Advanced query processing
10.30-11.05 Rewriting Conjunctive Queries under Description Logic Constraints
  Hector Perez-Urbina, Boris Motik, Ian Horrocks
11.05-11.20 A Doxastic Approach to P2P Information Integration (short)
  Guido Vetere, Fabrizio Venditti, Alessandro Faraotti
11.20-11.40 Coffee break
11.40-12.15 On BP-complete query languages on K-relations
  Floris Geerts and Antonella Poggi
12.15-12.30 Profiling Sets for Preference Querying (short)
  Xi Zhang, Jan Chomicki
12.30-14.00 Lunch
Invited talk
14.00-15.00 From Consistent Query Answering to Query Rewriting: A Detour around Answer Set Programs
  Leopoldo Bertossi - Carleton University, Canada
15.00-15.20 Coffee break
Session 2:Incompleteness and inconsistency
15.20-15.55 On First-Order Query Rewriting for Incomplete Database Histories
  Alexandre Decan, Jef Wijsen
15.55-16.10 From Extended Entity-Relationship schemata to illustrative instances (short)
  Maria Amalfi, Alessandro Provetti
16.10-16.45 Efficient Fixpoint Methods for Approximate Query Answering in Locally Complete Databases
  Alvaro Cortes-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
16.45-17.05 Coffee break
17.05-17.20 Classifying Integrity Checking Methods with regard to Inconsistency Tolerance (short)
  Hendrik Decker
17.20-17.55 On the Complexity of Repair Checking in Inconsistent Databases
  Foto Afrati, Phokion Kolaitis
20.30- Dinner

May 20

Invited talk
9.10-10.10 Databases Meet Verification: What do we have in common, and how can we help each other?
  Leonid Libkin - University of Edinburgh, UK
10.10-10.30 Coffee break
Session 3:Semi-structured data
10.30-11.05 Complete Axiomatizations for XPath Fragments
  Balder ten Cate, Tadeusz Litak, Maarten Marx
11.05-11.20 Querying Regular Sets of XML Documents (short)
  Slawomir Staworko, Emmanuel Filiot, Jan Chomicki
11.20-11.40 Coffee break
11.40-12.15 Regular XPath: Constraints, Query Containment and View-Based Answering for XML Documents
  Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
12.15-12.30 An Algebra for Basic Graph Patterns (short)
  George H.L. Fletcher
12.30 Wrap-up session and closing