@inproceedings{ahme-etal-2022ISWC, 
author = {Robert David and Shqiponja Ahmetaj and Mantas \v{S}imkus and Axel Polleres},
title = {Repairing {SHACL} Constraint Violations using
Answer Set Programming},
abstract = {The Shapes Constraint Language (SHACL) is a recent W3C recommendation for validating RDF graphs against \emph{shape} constraints to be checked on \emph{target nodes} of the data graph. The standard also describes the notion of \emph{validation reports} for data graphs that violate given constraints, which aims to provide feedback on how the data graph can be fixed to satisfy the constraints. Since the specification left it open to SHACL processors to define such explanations, a recent work proposed the use of explanations in the style of database \emph{repairs}, where a repair is a set of additions to or deletions from the data graph so that the resulting graph validates against the constraints. In this paper, we study such repairs for non-recursive SHACL, the largest fragment of SHACL that is fully defined in the specification. We propose an algorithm to compute repairs by encoding the explanation problem -- using Answer Set Programming (ASP) -- into a logic program, the answer sets of which correspond to (minimal) repairs. We then study a scenario where it is not possible to simultaneously repair all the targets, which may be often the case due to overall unsatisfiability or conflicting constraints. We introduce a relaxed notion of validation, which allows to validate a (maximal) subset of the targets and adapt the ASP translation to take into account this relaxation. Our implementation in Clingo is -- to the best of our knowledge -- the first implementation of a repair generator for SHACL.
},
month = oct,
day = {23--27},
year = 2022,
booktitle = {Proceedings of the 21st International Semantic Web Conference (ISWC 2022)},
address = {Virtual Conference (Hangzhou, China)},
series = LNCS,
volume = 13489,
pages = {375--391},
publisher = {Springer},
doi = {https://doi.org/10.1007/978-3-031-19433-7_22},
url = {http://polleres.net/publications/ahme-etal-2022ISWC.pdf}
}

{"_id":"SCJnBS5N2jdTqpYJW","bibbaseid":"david-ahmetaj-imkus-polleres-repairingshaclconstraintviolationsusinganswersetprogramming-2022","author_short":["David, R.","Ahmetaj, S.","Šimkus, M.","Polleres, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Robert"],"propositions":[],"lastnames":["David"],"suffixes":[]},{"firstnames":["Shqiponja"],"propositions":[],"lastnames":["Ahmetaj"],"suffixes":[]},{"firstnames":["Mantas"],"propositions":[],"lastnames":["Šimkus"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]}],"title":"Repairing SHACL Constraint Violations using Answer Set Programming","abstract":"The Shapes Constraint Language (SHACL) is a recent W3C recommendation for validating RDF graphs against \\emphshape constraints to be checked on \\emphtarget nodes of the data graph. The standard also describes the notion of \\emphvalidation reports for data graphs that violate given constraints, which aims to provide feedback on how the data graph can be fixed to satisfy the constraints. Since the specification left it open to SHACL processors to define such explanations, a recent work proposed the use of explanations in the style of database \\emphrepairs, where a repair is a set of additions to or deletions from the data graph so that the resulting graph validates against the constraints. In this paper, we study such repairs for non-recursive SHACL, the largest fragment of SHACL that is fully defined in the specification. We propose an algorithm to compute repairs by encoding the explanation problem – using Answer Set Programming (ASP) – into a logic program, the answer sets of which correspond to (minimal) repairs. We then study a scenario where it is not possible to simultaneously repair all the targets, which may be often the case due to overall unsatisfiability or conflicting constraints. We introduce a relaxed notion of validation, which allows to validate a (maximal) subset of the targets and adapt the ASP translation to take into account this relaxation. Our implementation in Clingo is – to the best of our knowledge – the first implementation of a repair generator for SHACL. ","month":"October","day":"23–27","year":"2022","booktitle":"Proceedings of the 21st International Semantic Web Conference (ISWC 2022)","address":"Virtual Conference (Hangzhou, China)","series":"Lecture Notes in Computer Science (LNCS)","volume":"13489","pages":"375–391","publisher":"Springer","doi":"https://doi.org/10.1007/978-3-031-19433-7_22","url":"http://polleres.net/publications/ahme-etal-2022ISWC.pdf","bibtex":"@inproceedings{ahme-etal-2022ISWC, \nauthor = {Robert David and Shqiponja Ahmetaj and Mantas \\v{S}imkus and Axel Polleres},\ntitle = {Repairing {SHACL} Constraint Violations using\nAnswer Set Programming},\nabstract = {The Shapes Constraint Language (SHACL) is a recent W3C recommendation for validating RDF graphs against \\emph{shape} constraints to be checked on \\emph{target nodes} of the data graph. The standard also describes the notion of \\emph{validation reports} for data graphs that violate given constraints, which aims to provide feedback on how the data graph can be fixed to satisfy the constraints. Since the specification left it open to SHACL processors to define such explanations, a recent work proposed the use of explanations in the style of database \\emph{repairs}, where a repair is a set of additions to or deletions from the data graph so that the resulting graph validates against the constraints. In this paper, we study such repairs for non-recursive SHACL, the largest fragment of SHACL that is fully defined in the specification. We propose an algorithm to compute repairs by encoding the explanation problem -- using Answer Set Programming (ASP) -- into a logic program, the answer sets of which correspond to (minimal) repairs. We then study a scenario where it is not possible to simultaneously repair all the targets, which may be often the case due to overall unsatisfiability or conflicting constraints. We introduce a relaxed notion of validation, which allows to validate a (maximal) subset of the targets and adapt the ASP translation to take into account this relaxation. Our implementation in Clingo is -- to the best of our knowledge -- the first implementation of a repair generator for SHACL.\n},\nmonth = oct,\nday = {23--27},\nyear = 2022,\nbooktitle = {Proceedings of the 21st International Semantic Web Conference (ISWC 2022)},\naddress = {Virtual Conference (Hangzhou, China)},\nseries = LNCS,\nvolume = 13489,\npages = {375--391},\npublisher = {Springer},\ndoi = {https://doi.org/10.1007/978-3-031-19433-7_22},\nurl = {http://polleres.net/publications/ahme-etal-2022ISWC.pdf}\n}\n\n","author_short":["David, R.","Ahmetaj, S.","Šimkus, M.","Polleres, A."],"key":"ahme-etal-2022ISWC","id":"ahme-etal-2022ISWC","bibbaseid":"david-ahmetaj-imkus-polleres-repairingshaclconstraintviolationsusinganswersetprogramming-2022","role":"author","urls":{"Paper":"http://polleres.net/publications/ahme-etal-2022ISWC.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","dataSources":["gixxkiKt6rtWGoKSh","cBfwyqsLFQQMc4Fss"],"keywords":[],"search_terms":["repairing","shacl","constraint","violations","using","answer","set","programming","david","ahmetaj","šimkus","polleres"],"title":"Repairing SHACL Constraint Violations using Answer Set Programming","year":2022}