Menú
J. Corman, J. L. Reutter & O. Savkovic. «A Tractable Notion of Stratification for SHACL,» in CEUR Workshop Proceedings: Proc. of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8-12. https://ceur-ws.org/Vol-2180/paper-11.pdf
This article introduces a restriction on the usage of negation in SHACL “core constraint components” constraints, called strict stratification, which guarantees tractability of graph validation.