Static Analysis of Recursive SHACL
Paper on static analysis of recursive SHACL.
The paper presents a static analysis approach for recursive SHACL shapes. It aims to improve the validation and optimization of SHACL-based data validation rules. The authors propose a novel algorithm for analyzing recursive SHACL shapes, enabling more efficient and effective data validation.
Based on: Static Analysis of Recursive SHACL · arXiv