Static Analysis of Recursive SHACL

arXiv:2605.02787v1 Announce Type: cross Abstract: 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...