Projet ANR-12-BS02-0003 – ASPIQ : Techniques ASP pour l'interrogation d'informations web hétérogènes multisources à grande échelle
Programme : Blanc - SIMI 2 - Science informatique et applications (Blanc SIMI 2) 2012
Année de financement : 2012
Coordinateur du projet : Madame Odile PAPINI (Centre National de la Recherche Scientifique Délégation Provence et Corse _ Laboratoire des Sciences de l'Information et des Systèmes)
Partenaires : Centre de Recherche en Informatique de Lens; Laboratoire public; Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier; Laboratoire d'Étude et de Recherche en Informatique d'Angers
Montant : 371946.0 euros
Date de début : 2012
Durée : 48 mois
Résumé : L'objectif du projet est de proposer des solutions originales pour l'interrogation d'informations hétérogènes multi-sources à grande échelle. Il s'articule autour de trois axes : 
Traiter des informations multi-sources : La fusion de systèmes d'informations issues de plusieurs sources est une tâche importante pour les applications du Web, où les informations sont souvent redondantes, hétérogènes, imprécises, incertaines. Par ailleurs, les informations fournies par chacune des sources sont cohérentes, cependant leur union peut ne pas l'être. Ce projet propose des solutions adéquates à ce problème d'incohérence.
Traiter des informations hétérogènes :  Les informations fournies par les sources sont souvent hétérogènes. Ce projet se concentre sur les langages du web tels que la famille des langages OWL2 , en particulier, les sous-langages dédiés à l'interrogation OWL2EL, OWL2QL, OWL2RL. Néanmoins, les langages disponibles actuellement ne permettent pas le traitement, de façon satisfaisante, de l'incertain et de la gestion de l'incohérence..
Raisonner à grande echelle: La mise en oeuvre effective du traitement d'un grand volume d'informations multi-sources hétérogènes nécessite des outils adaptés. Le paradigme ASP, avec la mise au point de solveurs de plus en plus performants, s'est imposé ces dernières années comme outil efficace d'implantation mais aussi comme formalisme de représentation expressif. Cependant,  la plupart des solveurs sont dédiés à la logique propositionnelle, aussi une extension d'ASP est nécessaire pour traiter des connaissances ontologiques représentées dans des sous-langages d'OWL2.
Ce projet a pour principale ambition de proposer :
1.des extensions de l'ASP standard pour représenter des sous-langages traitables d'OWL2 afin de fournir une représentation commune de la connaissance fournie par les differentes sources, permettant le traitement des incohérences, des exceptions et de l'incertitude afin d'interroger efficacement des bases de connaissances comportant de grandes masses de données.
2.de nouvelles opérations de fusion d'informations représentées par des programmes logiques en ASP étendu de fiabilité et de qualité diverses avec ou sans incertitude, sous l'hypothèse de commensurabilité ou non. Par ailleurs, des algorithmes efficaces seront proposés pour la gestion des conflits entre programmes logiques en ASP étendu.
3.L'identification de sous-classes de l' ASP étendu permettant une implantation de mécanismes effecaces d'interrogation , capable en plus, d'ordonner et de calculer les réponses les plus pertinentes. 
4.Une mise en oeuvre efficace de la gestion de l'incohérence, d'opérations de fusion, du traitement des exceptions et de l'incertain, de l'interrogation de bases de connaissances. La mise au point d'un prototype capable d'effectuer la fusion, de résoudre les conflits et d'interroger plusieurs bases de connaissances. Ce prototype sera expérimenté sur 2 applications : 
l'intégration de données Web,  qui consiste à l'interconnection de sources de données web (catalogues bibliographiques) en  collaboration avec ABES (http://www.abes.fr). 
L'interrogation d'informations à partir de relevés  3D pour aider les archéologues à étudier les sites sous-marins, à la suite du projet européen VENUS  (http://sudek.esil.univmed.fr/venus/).
Ce projet prend toute sa place dans les différentes directions de recherche qui sont tout à fait d'actualité au  niveau international. 
Ce projet réunit 4 partenaires CRIL, LERIA, LIRMM, LSIS et combine des compétences complémentaires dans différents domaines de l'intelligence artificielle. Il est à noter que les participants au projet sont particulièrement bien placés dans la communauté internationale comme en témoignent leurs excellents résultats récents en termes de publications dans des revues prestigieuses internationales et  dans des conférences prestigieuses comme ECAI, IJCAI, KR, AAAI.