∃-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. Lecture Notes in Computer Science , vol.9858 Cham: Springer, pp. 230-245. 10.1007/978-3-319-45856-4_16

Preview

PDF - Accepted Post-Print Version Download (286kB) | Preview

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.

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
URI:	https://orca.cardiff.ac.uk/id/eprint/97286

Citation Data

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

Actions (repository staff only)

Edit Item