Ontological Query Answering with Existential Rules

Marie-Laure Mugnier 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
Abstract : The need for an ontological layer on top of data, associated with advanced reasoning mechanisms able to exploit the semantics encoded in ontologies, has been acknowledged both in the database and knowledge representation communities. We focus in this paper on the ontological query answering problem, which consists of querying data while taking ontological knowledge into account. To tackle this problem, we consider a logical framework based on existential rules, also called Tuple-Generating Dependencies or Datalog+/- rules. This framework can also be defined in graph terms. Query entailment with existential rules is not decidable, thus a crucial issue is to define decidable classes of rules as large as possible. This paper is a survey of decidable classes of rules, including a review of the main complexity results. It mostly relies on previous work presented at IJCAI'2009 [BLMS09] and KR'2010 [BLM10] (and developed in a journal paper [BLMS11]), updated to include very recent results.
Type de document :
Communication dans un congrès
S. Rudolph; C. Gutierrez. RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. LNCS (6902), pp.2-23, 2011, Web Reasoning and Rule Systems. 〈http://www.rr-conference.org/RR2011/〉. 〈10.1007/978-3-642-23580-1_2〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00618296
Contributeur : Marie-Laure Mugnier <>
Soumis le : jeudi 1 septembre 2011 - 13:35:13
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : vendredi 2 décembre 2011 - 02:31:59

Fichier

RR2011-keynote.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Marie-Laure Mugnier. Ontological Query Answering with Existential Rules. S. Rudolph; C. Gutierrez. RR: Web Reasoning and Rule Systems, Aug 2011, Galway, Ireland. LNCS (6902), pp.2-23, 2011, Web Reasoning and Rule Systems. 〈http://www.rr-conference.org/RR2011/〉. 〈10.1007/978-3-642-23580-1_2〉. 〈lirmm-00618296〉

Partager

Métriques

Consultations de la notice

405

Téléchargements de fichiers

542