Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin

Jean-François Baget 1 Laurent Garcia 2 Fabien Garreau 2 Claire Lefèvre 2 Swan Rocher 1 Igor Stéphan 2
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 : This article deals with the combination of ontologies and rules by means of existential rules and answer set programming. Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Furthermore Answer Set Programming (ASP) is an appropriate formalism to represent various problems issued from Artificial Intelligence and arising when available information is incomplete. The combination of the two formalisms requires to extend existential rules with nonmonotonic negation and to extend ASP with existential variables. In this article, we present the syntax and semantics of Existential Non Monotonic Rules (ENM-rules) using skolemization which join together the two frameworks. We formalize its links with standard ASP. Moreover, since entailment with existential rules is undecidable, we present conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase and we discuss extension of these results in the nonmonotonic case.
Type de document :
Article dans une revue
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2018, 82 (1-3), pp.3-41. 〈10.1007/s10472-017-9563-9〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01934731
Contributeur : Jean-François Baget <>
Soumis le : lundi 26 novembre 2018 - 11:09:14
Dernière modification le : mercredi 19 décembre 2018 - 14:06:02

Fichier

AMAI.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, et al.. Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2018, 82 (1-3), pp.3-41. 〈10.1007/s10472-017-9563-9〉. 〈lirmm-01934731〉

Partager

Métriques

Consultations de la notice

20

Téléchargements de fichiers

11