Towards a Robust Semantics for SHACL: Preliminary Discussion

Julien Corman, Juan L. Reutter, Ognjen Savkovic
2018 Alberto Mendelzon Workshop on Foundations of Data Management  
Validating RDF graphs against constraints has gained interest in recent years, due to the popularity of RDF and the growth of knowledge bases. SHACL, a constraint language for RDF, has recently become a W3C recommendation, with a specification detailing syntax, semantics and common use cases. Unfortunately, this (otherwise complete) specification does not cover validation against recursive constraints. This omission is important, because SHACL by design favors constraint references. We
more » ... te the possibility of a formal semantics for SHACL which covers the recursive case, while being compliant with the current standard.
dblp:conf/amw/CormanRS18 fatcat:b3it36eg7jeejcrdjr4xmdwlqm