Notions de dépendances pour les règles Existentielles

Jean-François Baget 1 Marie-Laure Mugnier 1 Michaël Thomazo 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : Nous nous intéressons à un problème de décision consistant à déterminer s'il existe une réponse à une requête conjonctive dans une base de connaissances composée d'une base de données et d'une ontologie décrite par un ensemble de règles contenant des variables existentielles en conclusion, équivalentes aux Tuple-Generating Dependencies (TGD) en bases de données. Ce problème indécidable impacte de nombreux domaines (logiques de description, bases de données, web sémantique...). Dans Baget (2004) et Baget et al. (2009) il a été proposé une notion de dépendance entre règles pour définir de nouveaux cas décidables. Cependant, si cette notion de dépendance est optimale à un instant donné du raisonnement, elle ne prend pas en compte l'historique de celui-ci. Dans cet article, nous proposons un raffinement de cette notion, la k-dépendance, qui tient compte d'un historique de taille bornée.
Type de document :
Communication dans un congrès
JIAF'11: Journées de l'Intelligence Artificielle Fondamentale, Jun 2011, Lyon, France. pp.12-21, 2011, 〈http://liris.cnrs.fr/jfpc-jiaf2011/〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00618090
Contributeur : Jean-François Baget <>
Soumis le : mercredi 31 août 2011 - 16:14:37
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Identifiants

  • HAL Id : lirmm-00618090, version 1

Collections

Citation

Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo. Notions de dépendances pour les règles Existentielles. JIAF'11: Journées de l'Intelligence Artificielle Fondamentale, Jun 2011, Lyon, France. pp.12-21, 2011, 〈http://liris.cnrs.fr/jfpc-jiaf2011/〉. 〈lirmm-00618090〉

Partager

Métriques

Consultations de la notice

245