Stable Model Semantics for Recursive SHACL
WWW '20: The Web Conference 2020 Taipei Taiwan April, 2020, pp. 1570-1580, 2020.
SHACL (SHape Constraint Language) is a W3C recommendation for validating graph-based data against a set of constraints (called shapes). Importantly, SHACL allows to define recursive shapes, i.e. a shape may refer to itself, directly of indirectly. The recommendation left open the semantics of recursive shapes, but proposals have emerged r...More
Full Text (Upload PDF)
PPT (Upload PPT)