Repairing Queries in a Mediator Approach

In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system PICSEL 2 . First, we characterise conflicts as the minimal causes of the unsatisfiability of a query. Then, we produce its set of repairs: a repair is a query that does not generate any conflict and that has a common generalisation with the initial query and is semantically close to it.

• Type: Conference
• Year: 2000
• Where: ECAI
• Authors: Alain Bidault, Christine Froidevaux, Brigitte Safar
• Keywords: Artificial Intelligence, ECAI 2000, Information Integration, Logical Formalism, Unsatisfiable Queries