∃-ASP for Computing Repairs with Existential Ontologies - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

∃-ASP for Computing Repairs with Existential Ontologies

Résumé

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 et versions

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

Identifiants

Citer

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⟩
329 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More