Notions de dépendances pour les règles Existentielles - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2011

Notions de dépendances pour les règles Existentielles

Jean-François Baget
Michaël Thomazo

Abstract

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.
No file

Dates and versions

lirmm-00618090 , version 1 (31-08-2011)

Identifiers

  • HAL Id : lirmm-00618090 , version 1

Cite

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. ⟨lirmm-00618090⟩
207 View
0 Download

Share

Gmail Facebook X LinkedIn More