∃-ASP for Computing Repairs with Existential Ontologies

Jean-François Baget 1 Zied Bouraoui 2 Farid Nouioua 3 Odile Papini 3 Swan Rocher 1 Éric Würbel 3
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 : Repair-based techniques are a standard way of dealing with inconsistency in the context of ontology-based data access where several inconsistency-tolerant semantics have been mainly proposed for lightweight description logics. In this paper we present a generic transformation from knowledge bases expressed within existential rules formalism into an ASP program. We propose different strategies for this transformation, and highlight the ones for which answer sets of the generated program correspond to various kinds of repairs used in inconsistency-tolerant inferences.
Type de document :
Communication dans un congrès
Steven Schockaert; Pierre Senellart. SUM: Scalable Uncertainty Management, Oct 2016, Nice, France. Springer, 10th International Conference on Scalable Uncertainty Management, LNCS (9858), pp.230-245, 2016, Scalable Uncertainty Management. 〈http://sum2016.unice.fr/〉. 〈10.1007/978-3-319-45856-4_16〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375099
Contributeur : Jean-François Baget <>
Soumis le : dimanche 2 octobre 2016 - 23:09:46
Dernière modification le : mercredi 12 septembre 2018 - 01:27:40

Identifiants

Citation

Jean-François Baget, Zied Bouraoui, Farid Nouioua, Odile Papini, Swan Rocher, et al.. ∃-ASP for Computing Repairs with Existential Ontologies. Steven Schockaert; Pierre Senellart. SUM: Scalable Uncertainty Management, Oct 2016, Nice, France. Springer, 10th International Conference on Scalable Uncertainty Management, LNCS (9858), pp.230-245, 2016, Scalable Uncertainty Management. 〈http://sum2016.unice.fr/〉. 〈10.1007/978-3-319-45856-4_16〉. 〈lirmm-01375099〉

Partager

Métriques

Consultations de la notice

459