George Konstantinidis

Satisfiability and containment of recursive SHACL

2022 · Journal of Web Semantics

The Shapes Constraint Language (SHACL) is the recent W3C recommendation language for validating RDF data, by verifying certain shapes on graphs. Previous work has largely focused on the validation problem, while the standard decision problems …