KRDB 2002 Technical Program

SUNDAY 21 APRIL 2002

MORNING (Joint session with DL 2002)
-------

9 - 10 	

	Invited Talk
	
	Maurizio Lenzerini (Universita di Roma "La Sapienza")
	Incompleteness and Inconsistency in Information Integration
	

10 - 10.30  Coffee break

10.30 - 12.30
	
	- Compilation and approximation of conjunctive queries by concept 
	descriptions.
	Francois Goasdoue and Marie-Christine Rousset

	- Querying Objects with Description Logics
	Martin Peim, Enrico Franconi, Norman W. Paton and Carole A. Goble

	- Estimating Soundness and Completeness over Queries Over Description
	Logics.
	Martin Peim, Enrico Franconi, Norman W. Paton

	- Toward Updates in Description Logics
	Mathieu Roger, Ana Simonet, Michel Simonet

12.30 - 14.30 LUNCH

AFTERNOON
---------

14.30 - 16

	- Conjunctive Query Containment in the Presence of Disjunctive
	Integrity Constraints.
	Fang Wei, Georg Lausen

	- Towards a representation system for possibilistic relations
	Patrick Bosc, Olivier Pivert

	- Specifying Event Logics for Active Databases
	Iluju Kiringa

16 - 16.30 Coffee break

16.30 - 18

	- Document Content Authoring and Hybrid Knowledge Bases.
	Marc Dymetman

	- Source Inconsistency and Incompleteness in Data Integration
	Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati