Objectifs

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 échelle: 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 différentes 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'interconnexion 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, dans le cadre du projet ANR GROPLAN (http://www.lsis.org/groplan/).
Français