∃-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.
Document type :
Conference papers
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01375099
Contributor : Jean-François Baget <>
Submitted on : Sunday, October 2, 2016 - 11:09:46 PM
Last modification on : Wednesday, September 12, 2018 - 1:27:40 AM

Identifiers

Citation

Jean-François Baget, Zied Bouraoui, Farid Nouioua, Odile Papini, Swan Rocher, et al.. ∃-ASP for Computing Repairs with Existential Ontologies. SUM: Scalable Uncertainty Management, Andrea G. B. Tettamanzi, Oct 2016, Nice, France. pp.230-245, ⟨10.1007/978-3-319-45856-4_16⟩. ⟨lirmm-01375099⟩

Share

Metrics

Record views

571