View source for SHACL

'''Shapes Constraint Language'''<ref name="w3c-standard" /> ('''SHACL''')  is a [[Organization:World Wide Web Consortium|World Wide Web Consortium]] (W3C) standard language for describing [[Resource Description Framework]] (RDF) graphs. SHACL has been designed to enhance the semantic and technical interoperability layers of [[Ontology (information science)|ontologies]] expressed as RDF graphs.<ref>{{Cite web|url=https://joinup.ec.europa.eu/collection/common-assessment-method-standards-and-specifications-camss/solution/camss-assessment-shacl-ts-scenario/release/v100|title=CAMSS Assessment of SHACL by the European Commission}}</ref>

SHACL models are defined in terms of constraints on the content, structure and meaning of a graph. SHACL is a highly expressive language. Among others, it includes features to express conditions that constrain the number of values that a property may have, the type of such values, numeric ranges, string matching patterns, and logical combinations of such constraints. SHACL also includes an extension mechanism to express more complex conditions in languages such as [[SPARQL]] and [[JavaScript]]. SHACL Rules add inferencing capabilities to SHACL, allowing users to define what new statements can be inferred from existing (asserted) statements.

==Terminology==
SHACL lets its users describe shapes of data, targeting where a specific shape applies.

===Property shapes===
A ''property shape'' describes characteristics of graph nodes that can be reached via a specific path. A path can be a single predicate (property) or a chain of predicates. A property shape must always specify a path. This is done by using <code>sh:path</code> predicate.
One can think of property shapes that use simple paths as describing values of certain properties e.g., values of an ''age'' property or values of a ''works for'' property.
Complex paths can specify a combination of different predicates in a chain, including the inverse direction, alternative predicates and transitive chains.   

Property shapes can be defined as part of a node shape. In this case, a node shape points to property shapes using <code>sh:property</code> predicate. Property shapes can also be "stand-alone" i.e., completely independent from any node shapes.

===Node shapes===
A ''node shape'' describes characteristics of specific graph nodes irrespective of how you get to them.  It can, for example, be said that certain graph nodes must be literals or a URIs, etc. It is common to include property shapes into a node shape, effectively defining values of many different properties of a node.

For example, a node shape for an employee may incorporate property shapes for ''age'' and ''works for'' properties.

===Constraints===
A ''constraint'' is a way to describe different characteristics of values. A shape will contain one or more constraint declarations. SHACL provides many pre-built constraint types. For example, <code>sh:datatype</code> is used to describe the type of literal values e.g., if they are strings or integers or dates. <code>sh:minCount</code> is used to describe the minimum required number of values. <code>sh:length</code> is used to describe the number of characters for a value.

===Targets===
A ''target'' connects a shape with data it describes. The simplest way to specify a target is to say that a node shape is also a class. This means that its definition is applicable to all members (instances) of a class. 
Other ways to define a target of a shape are by:

# Explicitly saying that a shape targets members of a certain class. This can be done instead of making a node shape also a class.
# Saying that a shape targets a specific resource by giving its URI.
# Saying that a shape targets all subjects or all objects of triples with a certain predicate.
# Using a SPARQL query to select a set of resource to be targeted. 

Target declarations can be included in a node shape or in a property shape. However, when a property shape is a part of a node shape, its own targets are ignored.

SHACL uses <code>rdfs:subClassOf</code> statements to identify targets. A shape targeting members of a class, also targets members of all its subclasses. In other words, all SHACL definitions for a class are inherited by subclasses.

== Validation ==
SHACL enables validation of graphs. A SHACL validation engine takes as input a graph to be validated (called data graph) and a graph containing SHACL shapes declarations (called shapes graph) and produces a validation report, also expressed as a graph. All these graphs can be represented in any [[Resource Description Framework]] (RDF) [[Serialization|serialization formats]] including [[JSON-LD]] or [[Turtle (syntax)|Turtle]].

SHACL is fairly unique in its approach in that it builds-in not only the ability to specify a severity level of validation results, but also the ability to return suggestions on how data may be fixed if the validation result is raised. Built-in levels are Violation, Warning and Info, defaulting to Violation if no <code>sh:severity</code> has been specified for a shape. Users of SHACL can add other, custom levels of severity. Validation results may also have values for other properties, as described in the specification. For example, the property <code>sh:resultMessage</code> is designed to communicate additional textual details to users, including recommendations on how data may be fixed to address to validation result. In cases where a constraint does not have any values for <code>sh:message</code> in the shapes graph the SHACL processor may automatically generate other values for <code>sh:resultMessage</code>. Some SHACL processors (e.g., the one implemented by TopQuadrant) made these suggestions actionable in software, automating their application on user's request.

== Specifications ==
[[Organization:World Wide Web Consortium|World Wide Web Consortium]] published the following SHACL Specifications:

* '''SHACL'''<ref name="w3c-standard" /> (W3C Technical Recommendation) is the main document, defining the features of SHACL Core and its extension mechanism called SHACL-SPARQL. SHACL Core defines the basic syntax and structure of shapes, constraints, the built-in kinds of constraints, and how to link shapes to data nodes. SHACL-SPARQL defines how to express constraints that are not covered by the built-in constraint kinds.
* '''SHACL Advanced Features'''<ref name="shacl-advanced-feats">{{Cite web|url=https://www.w3.org/TR/shacl-af/|title=SHACL Advanced Features|editor-first1=Holger |editor-last1=Knublauch|editor-first2=Dean|editor-last2=Allemang|editor-first3=Simon|editor-last3=Steyskal|publisher=RDF Data Shapes Working Group |publication-date=2017-06-08|access-date=2021-04-06|website=W3C}}</ref> (W3C Working Group Note), the most recent version of which is maintained by the SHACL Community Group defines support for SHACL Rules, a powerful feature (inspired by SPIN rules) for data transformations, inferences and mappings based on data shapes. Also includes extensions of SHACL-SPARQL such as user-defined functions.
* '''SHACL JavaScript Extensions'''<ref name="shacl-js">{{Cite web|url=https://www.w3.org/TR/shacl-js/|title=SHACL JavaScript Extensions|editor-first1=Holger|editor-last1=Knublauch|editor-first2=Pano|editor-last2=Maria|publisher=SHACL Community Group|publication-date=2018-01-09|website=W3C}}</ref> (W3C Working Group Note) defines how JavaScript can be used to express constraints, rules, functions and other features. This covers similar ground as SHACL-SPARQL, but using JavaScript as its execution language.
* '''SHACL Compact Syntax'''<ref name="shacl-compact-syntax">{{Cite web|url=https://w3c.github.io/shacl/shacl-compact-syntax/|title=SHACL Compact Syntax|editor-first1=Holger|editor-last1=Knublauch|editor-first2=Pano|editor-last2=Maria|publisher=SHACL Community Group|publication-date=2018-01-09|website=W3C}}</ref> (SHACL Community Group Report).

== Open-source tools ==
The ''SHACL Test Suite and Implementation Report''<ref name="test-suite">{{Cite web|url=https://w3c.github.io/data-shapes/data-shapes-test-suite/|title=SHACL Test Suite and Implementation Report|date=2021-01-22|editor-first1=Jose Emilio|editor-last1=Labra Gayo|editor-first2=Holger|editor-last2=Knublauch|editor-first3=Dimitris|editor-last3=Kontokostas|website=W3C}}</ref> linked to from the SHACL W3C specification lists some open source tools that could be used for SHACL validation as of June 2019. By the end of 2019 many commercial RDF database and framework vendors announced support for at least SHACL Core.

Some of the open source tools listed in the report are:
* dotNetRDF SHACL - an online SHACL validator service written in the [[.NET Framework|.NET Framework]]<ref name="dotnetRdf-shacl-site">{{Cite web|url=http://langsamu.net/shacl|title=dotNetRDF SHACL|author-first=Samu|author-last=Lang|date=n.d.|access-date=2021-04-06|website=langsamu.net}}</ref><ref name="dotNetRdf-shacl-github">{{Cite web|url=https://github.com/langsamu/ShaclService|title=dotNetRDF SHACL validator service|author-first=Samu|author-last=Lang|date=2019-06-01|access-date=2021-04-07|website=GitHub}}</ref>
* pySHACL - an open source SHACL validator library for command line use written in [[Python (programming language)|Python]]<ref name="pyshacl">{{Cite web|url=https://github.com/RDFLib/pySHACL|title=RDFLib/pySHACL: A Python validator for SHACL|author-first=Ashley|author-last=Sommer|author-first2=Nicholas|author-last2=Car|date=2018-08-15|access-date=2021-04-06|website=GitHub}}</ref>
* SHaclEX - a [[Scala (programming language)|Scala]] implementation of both SHACL and [[ShEx]]<ref name="shaclex">{{Cite web|url=https://github.com/weso/shaclex|title=weso/shaclex: SHACL/ShEx implementation|author-first=Jose Emilio|author-last=Labra Gayo|collaboration=Web Semantics Oviedo, University of Oviedo|access-date=2021-04-06|website=GitHub}}</ref>
* TopBraid SHACL API - an open source implementation of SHACL by TopQuadrant, based on [[Software:Apache Jena|Apache Jena]]. It covers SHACL Core and SHACL-SPARQL validation as well as SHACL Advanced Features, SHACL Javascript Extension and SHACL Compact Syntax. The same code is used in the TopBraid commercial products.<ref name="shacl-topquadrant">{{Cite web|url=https://github.com/TopQuadrant/shacl|title=TopQuadrant/shacl: SHACL API in Java based on Apache Jena|author-first=Holger|author-last=Knublauch|date=2015-05-24|access-date=2021-04-06|website=GitHub}}</ref>

''SHACL Playground'' is a free SHACL validation service implemented in JavaScript.<ref name="shacl-playground">{{Cite web|url=https://shacl.org/playground/|title=SHACL Playground|author-first=Holger|author-last=Knublauch|date=2017-05-01|access-date=2021-04-07|website=SHACL Playground}}</ref>

[[Software:RDF4J|Eclipse RDF4J]] is an open source Java framework by the [[Organization:Eclipse Foundation|Eclipse Foundation]] for processing RDF data, which supports SHACL validation.<ref name="rdf4j">{{Cite web|url=https://rdf4j.org/documentation/programming/shacl/|title=Programming With RDF4J: Validation With SHACL|access-date=29 August 2024}}</ref>

== Commercial tools ==
SHACL is supported by most RDF Graph technology vendors including Cambridge Semantics (Anzo),<ref name="anzo-shacl">{{Cite web|url=https://docs.cambridgesemantics.com/anzograph/v3.1/userdoc/shacl.htm|title=AnzoGraph DB 3.1: Validate Data with SHACL (Preview)|access-date=29 August 2024}}</ref> eccenca Corporate Memory,<ref name="eccenca-shacl">{{Cite web|url=https://documentation.eccenca.com/25.3/explore-and-author/graph-exploration/building-a-customized-user-interface/|title=eccenca Corporate Memory: Building a customized User Interface|access-date=2025-12-08}}</ref> Franz ([[Software:AllegroGraph|AllegroGraph]]), Data Treehouse (maplib),<ref>{{cite web |title=GitHub: maplib |url=https://github.com/DataTreehouse/maplib |access-date=19 January 2026}}</ref> Metaphacts,<ref>{{cite web |title=metaphactory: Data Quality Service |url=https://help.metaphacts.com/resource/Help:DataQuality |access-date=29 August 2024}}</ref> Ontotext ([[Software:Ontotext GraphDB|GraphDB]]),<ref>{{cite web |title=GraphDB 10.7: SHACL validation |url=https://graphdb.ontotext.com/documentation/10.7/shacl-validation.html|access-date=29 August 2024}}</ref> Stardog<ref>{{cite web |title=Stardog: Data Quality Constraints: SHACL Constraints |url=https://docs.stardog.com/data-quality-constraints#shacl-constraints |access-date=29 August 2024}}</ref> and TopQuadrant. There is even support in the commercial products that use property graph data model, such as [[Software:Neo4j|Neo4J]]. <ref name="shacl-neo4j">{{Cite web|url=https://neo4j.com/labs/neosemantics/4.0/validation/|title=Validating Neo4j graphs against SHACL|access-date=29 August 2024}}</ref> 

Levels of implementation may vary. At minimum, vendors support SHACL Core. Some also support SHACL SPARQL for higher expressivity, while others may support SHACL Advanced Features which include rules and functions.

== See also ==
* [[ShEx|Shape Expressions (ShEx)]]

== References ==
{{reflist}}

{{Semantic Web}}
{{W3C Standards}}
{{Data Exchange}}

[[Category:World Wide Web Consortium standards]]
[[Category:Resource Description Framework]]

{{Sourceattribution|SHACL}}