SHACL Validation under Graph Updates (Extended Paper)
Abstract
SHACL (SHApe Constraint Language) is a W3C standardized constraint language for RDF graphs. In this paper, we study SHACL validation in RDF graphs under updates. We present a SHACL-based update language that can capture intuitive and realistic modifications on RDF graphs and study the problem of static validation under such updates. This problem asks to verify whether every graph that validates a SHACL specification will still do so after applying a given update sequence. More importantly, it provides a basis for further services for reasoning about evolving RDF graphs. Using a regression technique that embeds the update actions into SHACL constraints, we show that static validation under updates can be reduced to (un)satisfiability of constraints in (a minor extension of) SHACL. We analyze the computational complexity of the static validation problem for SHACL and some key fragments. Finally, we present a prototype implementation that performs static validation and other static analysis tasks on SHACL constraints and demonstrate its behavior through preliminary experiments.
Cite
@article{arxiv.2508.00137,
title = {SHACL Validation under Graph Updates (Extended Paper)},
author = {Shqiponja Ahmetaj and George Konstantinidis and Magdalena Ortiz and Paolo Pareti and Mantas Simkus},
journal= {arXiv preprint arXiv:2508.00137},
year = {2025}
}
Comments
Accepted at the International Semantic Web Conference (ISWC 2025)