AI RESEARCH
Static Analysis of Recursive SHACL
arXiv CS.AI
•
ArXi:2605.02787v1 Announce Type: cross SHACL (Shapes Constraint Language) expresses constraints on RDF data by means of so-called shapes. Its central service is validation: verifying whether a data graph complies with a SHACL document. But so far, there are no static analysis services to compare documents. In this paper, we study the following problem: decide whether all graphs that validate one SHACL document also validate another.