Abstract
SHACL (SHApe Constraint Language) is a W3C standardized constraint languagefor RDF graphs. In this paper, we study SHACL validation in RDF graphs underupdates. We present a SHACL-based update language that can capture intuitiveand realistic modifications on RDF graphs and study the problem of staticvalidation under such updates. This problem asks to verify whether every graphthat validates a SHACL specification will still do so after applying a givenupdate sequence. More importantly, it provides a basis for further services forreasoning about evolving RDF graphs. Using a regression technique that embedsthe update actions into SHACL constraints, we show that static validation underupdates can be reduced to (un)satisfiability of constraints in (a minorextension of) SHACL. We analyze the computational complexity of the staticvalidation problem for SHACL and some key fragments. Finally, we present aprototype implementation that performs static validation and other staticanalysis tasks on SHACL constraints and demonstrate its behavior throughpreliminary experiments.