∃-ASP for Computing Repairs with Existential Ontologies - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2016

∃-ASP for Computing Repairs with Existential Ontologies


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.

Dates and versions

lirmm-01375099 , version 1 (02-10-2016)



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⟩
327 View
0 Download



Gmail Facebook X LinkedIn More