Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

∃-ASP for computing repairs with existential ontologies

Baget, Jean-François, Bouraoui, Zied, Nouioua, Farid, Papini, Odile, Rocher, Swan and Würbel, Eric 2016. ∃-ASP for computing repairs with existential ontologies. Presented at: SUM 2016: International Conference on Scalable Uncertainty Management, Nice, France, 21-23 September 2016. Published in: Schockaert, Steven and Senellart, Pierre eds. Scalable Uncertainty Management: 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings. Lecture Notes in Computer Science Cham: Springer, pp. 230-245. 10.1007/978-3-319-45856-4_16

[thumbnail of sum16.pdf]
PDF - Accepted Post-Print Version
Download (286kB) | Preview


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.

Item Type: Conference or Workshop Item (Paper)
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Publisher: Springer
ISBN: 9783319458557
ISSN: 0302-9743
Funders: ERC, ASPIQ
Date of First Compliant Deposit: 1 September 2020
Last Modified: 01 Sep 2020 15:17

Citation Data

Cited 1 time in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item


Downloads per month over past year

View more statistics