# A Review of SHACL: From Data Validation to Schema Reasoning for RDF Graphs

arXiv: https://arxiv.org/abs/2112.01441 · HTML: https://mlsanity.com/paper/2112.01441/

## Key facts

- Cited by 7 papers in the map (data through 14 Oct 2026).
- Builds on 5 of its 57 references that are in the map.
- First posted on arXiv 2 Dec 2021.

## Builds on (most cited first, 5 of 5)

- [Deciding SHACL Shape Containment through Description Logics Reasoning (Extended Version)](https://mlsanity.com/paper/2008.13603/) (2020)
- [SHACL Constraints with Inference Rules](https://mlsanity.com/paper/1911.00598/) (2019)
- [Trav-SHACL: Efficiently Validating Networks of SHACL Constraints](https://mlsanity.com/paper/2101.07136/) (2021)
- [Satisfiability and Containment of Recursive SHACL](https://mlsanity.com/paper/2108.13063/) (2021)
- [Finite Satisfiability of Unary Negation Fragment with Transitivity](https://mlsanity.com/paper/1809.03245/) (2018)

## Built on by (most cited first, 7 of 7)

- [Structured prompt interrogation and recursive extraction of semantics (SPIRES): A method for populating knowledge bases using zero-shot learning](https://mlsanity.com/paper/2304.02711/) (2023)
- [SHACL2FOL: An FOL Toolkit for SHACL Decision Problems](https://mlsanity.com/paper/2406.08018/) (2024)
- [xpSHACL: Explainable SHACL Validation using Retrieval-Augmented Generation and Large Language Models](https://mlsanity.com/paper/2507.08432/) (2025)
- [Current and Future Challenges in Knowledge Representation and Reasoning](https://mlsanity.com/paper/2308.04161/) (2023)
- [Systematic Evaluation of Knowledge Graph Repair with Large Language Models](https://mlsanity.com/paper/2507.22419/) (2025)
- [The KG-ER Conceptual Schema Language](https://mlsanity.com/paper/2508.02548/) (2025)
- [Distributed Legal Infrastructure for a Trustworthy Agentic Web](https://mlsanity.com/paper/2603.06884/) (2026)

## Abstract (arXiv)

We present an introduction and a review of the Shapes Constraint Language (SHACL), the W3C recommendation language for validating RDF data. A SHACL document describes a set of constraints on RDF nodes, and a graph is valid with respect to the document if its nodes satisfy these constraints. We revisit the basic concepts of the language, its constructs and components and their interaction. We review the different formal frameworks used to study this language and the different semantics proposed. We examine a number of related problems, from containment and satisfiability to the interaction of SHACL with inference rules, and exhibit how different modellings of the language are useful for different problems. We also cover practical aspects of SHACL, discussing its implementations and state of adoption, to present a holistic review useful to practitioners and theoreticians alike.