CoLogNET Workshop on

Logic-based Methods for Information Integration

Technische Universität Wien

Wiedner Hauptstrasse 8-12, A-1040

Vienna, Austria, 23 August 2003

Final Program

Each long presentation is 35 minutes in duration including discussion. Each short presentation (Afternoon Session II) is 15 minutes including discussion.

8:45 - 9:00 Opening Session

9:00 - 10:45 Morning Session I

A Logic-Based Approach to XML Data Integration with "lazy materialization". Abstract (ps.gz) Slides (ps.gz)
Wolfgang May
Integrating Streams of Monitoring Data using Flexible View Hierarchies. Abstract (ps.gz) Slides (ps.gz)
Werner Nutt
Processing regular Path Queries Using Views. Abstract (ps.gz) Slides (.pdf)
Diego Calvanese

10:45 - 11:15 Coffee Break

11:15 - 13:00 Morning Session II

Obtaining Certain and Consistent Answers from Integration Systems. Abstract (ps.gz) Slides (.pdf)
Loreto Bravo
Inconsistency and Incompleteness in Data Integration: a Logic-based Approach. Abstract (ps.gz) Slides (.pdf)
Andrea Calì
Towards Practical Computation of Consistent Query Answer. Abstract (ps.gz) Slides (ps.gz)
Jan Chomicki

13:00 - 14:30 Lunch

14:30 - 16:15 Afternoon Session I

Rule-based Mapping in Ontology-based Mediators. Abstract (pdf) Slides (.ppt.gz)
Kai-Uwe Sattler
(Description) Logics for Information Modelling and Access -- or -- How to Use an Ontology. Abstract (ps.gz) Slides (.pdf)
Enrico Franconi
Reasoning with Beliefs Provided by Contradictory Sources. Slides (ps.gz) Slides (ps.gz)
Laurence Cholvy

16:15 - 16:45 Coffee Break

16:45 - 17:35 Afternoon Session II

Data Integration under the Schema Tuple Query Assumption. Abstract (ps.gz) Slides (.ppt)
Michael J. Minock
Integrity checking for combined databases. Abstract (ps.gz) Slides (.pdf)
Davide Martinenghi
The SILK Information Integration System. Abstract (ps.gz) Slides (.pdf)
Benko Tamas
The INFOMIX Information Integration System. Abstract (ps.gz) Slides (.ppt.gz)
Thomas Eiter

17:35 - 18:15 General Discussion