Cas décidables par marche arrière pour des règles existentielles - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2010

Cas décidables par marche arrière pour des règles existentielles

Michaël Thomazo

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

Dates and versions

lirmm-00551570 , version 1 (04-01-2011)

Identifiers

  • HAL Id : lirmm-00551570 , version 1
  • PRODINRA : 246672

Cite

Michaël Thomazo. Cas décidables par marche arrière pour des règles existentielles. Journée d'Intelligence Artificielle Fondamentale, 2010, France. pp.011-021. ⟨lirmm-00551570⟩
101 View
0 Download

Share

More