Cas décidables par marche arrière pour des règles existentielles
Abstract
Nous nous intéressons à un problème de décision consistant à savoir s'il est possible de trouver 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. Ce problème indécidable impacte de nombreux domaines (logiques de description, bases de données...). Dans cet article, nous prouvons qu'une adaptation des règles sticky (Calì et al. (2010)) sont à unification finie (une classe abstraite assurant l'arrêt du mécanisme de marche arrière) et généralisons ce cas aux frontier-sticky. Nous proposons également un panorama de toutes les classes à unification finie connues.