Quotation Ahmetaj, Shqiponja, David, Robert, Ortiz, Magdalena, Polleres, Axel, Shehu, Bojken, Šimkus, Mantas. 2021. Reasoning about Explanations for Non-validation in SHACL. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning, Hrsg. IJCAI Organization, 12-21. Online: None.


RIS


BibTeX

Abstract

The Shapes Constraint Language (SHACL) is a recently standardized language for describing and validating constraints over RDF graphs. The SHACL specification describes the so-called validation reports, which are meant to explain to the users the outcome of validating an RDF graph against a collection of constraints. Specifically, explaining the reasons why the input graph does not satisfy the constraints is challenging. In fact, the current SHACL standard leaves it open on how such explanations can be provided to the users. In this paper, inspired by works on logic-based abduction and database repairs, we study the problem of explaining non-validation of SHACL constraints. In particular, in our framework non-validation is explained using the notion of a repair, i.e., a collection of additions and deletions whose application on an input graph results in a repaired graph that does satisfy the given SHACL constraints. We define a collection of decision problems for reasoning about explanations, possibly restricting to explanations that are minimal with respect to cardinality or set inclusion. We provide a detailed characterization of the computational complexity of those reasoning tasks, including the combined and the data complexity.

Tags

Press 'enter' for creating the tag

Publication's profile

Status of publication Published
Affiliation WU
Type of publication Contribution to conference proceedings
Language English
Title Reasoning about Explanations for Non-validation in SHACL
Title of whole publication Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning
Editor IJCAI Organization
Page from 12
Page to 21
Location Online
Year 2021
ISBN 978-1-956792-99-7
URL http://dx.doi.org/10.24963/kr.2021/2
Open Access N

Associations

People
Ahmetaj, Shqiponja (Details)
Polleres, Axel (Details)
External
David, Robert (Semantic Web Company, Austria)
Ortiz, Magdalena (Technical University of Vienna, Austria)
Shehu, Bojken (Polytechnic University of Tirana, Albania)
Šimkus, Mantas (Technical University of Vienna, Austria)
Organization
Institute for Data, Process and Knowledge Management (AE Polleres) (Details)
Google Scholar: Search