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.