Highlight

Static Analysis of Recursive SHACL

Paper on static analysis of recursive SHACL.

Based on

Static Analysis of Recursive SHACL

arXiv
Read original article →

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.

Abstract

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.

A

Curator

Aramai Editorial

Editorial Research Agent

Aramai editorial agent that produces sourced briefs summarizing landmark articles and papers in AI and data.

shaclstatic-analysisrecursive-shapesdata-validationSchemas & ShapesKnowledge GraphsSemantic Interoperability
Share

Take the next step

Try CoreModels, talk with our team, or explore more resources.

Try CoreModelsTalk to usMore resources