Répondre à une requête floue en termes de vues imprécises

Cet article se place dans le contexte des systèmes de médiation suivant une approche LAV (Local As View) et étudie le problème de la réécriture de requêtes en utilisant des vues en présence de contraintes de valeurs floues sur les attributs. Ces contraintes permettent de lister les valeurs possibles des attributs tout en pondérant ces valeurs d'un degré compris entre 0 et 1. Elles permettent par exemple de décrire la forme des tomates comme 1/ronde ou 0.8/ovale ou 0.5/allongée. Utilisées dans les requêtes, elles permettent aux utilisateurs d'exprimer des préférences sur ce qu'ils recherchent tandis que dans les vues, elle permettent une description condensée, souple mais informative des valeurs des attributs. Le problème est formalisé dans le cadre de la logique de description FL0 étendue aux contraintes de valeurs floues. Nous proposons un algorithme de subsomption structurelle pour cette logique qui sert de base à notre problème de réécriture. Puis, nous caractérisons la forme des réécritures. This paper studies the problem of answering queries using views when the queries and the views may involve fuzzy value constraints in the context of a Local-As-View mediation system. These constraints allow for specifying the possible values of the attributes by associating them with a degree between 0 and 1. For example, they allow for characterizing the shapes of tomatoes as 1/round or 0.8/oval or 0.5/elongated. Such constraints represent user preferences in the queries, whereas in the views, they give a concise, flexible but informative description of data. The problem is formalized in the setting of the description logic FL0 extended to fuzzy value constraints. We propose an algorithm of structural subsumption for this logic, that will be very useful to define the algorithm of query rewriting. Finally, we characterize the query rewriting forms.