A Python validator for SHACL.
This is a pure Python module which allows for the validation of RDF graphs against Shapes Constraint Language (SHACL) graphs. This module uses the rdflib Python library for working with RDF and is dependent on the OWL-RL Python module for OWL2 RL Profile based expansion of data graphs.
This module is developed to adhere to the SHACL Recommendation:
Holger Knublauch; Dimitris Kontokostas. Shapes Constraint Language (SHACL). 20 July 2017. W3C Recommendation. URL: https://www.w3.org/TR/shacl/ ED: https://w3c.github.io/data-shapes/shacl/
The SHACL community has a discord server for discussion of topics around SHACL and the SHACL specification.
Use this invitation link: https://discord.gg/RTbGfJqdKB to join the server
There is a #pyshacl channel for discussion of this python library, and you can ask for general SHACL help too.
Install with PIP (Using the Python3 pip installer pip3
)
$ pip3 install pyshacl
Or in a python virtualenv (these example commandline instructions are for a Linux/Unix based OS)
$ python3 -m virtualenv --python=python3 --no-site-packages .venv
$ source ./.venv/bin/activate
$ pip3 install pyshacl
To exit the virtual enviornment:
$ deactivate
For command line use: (these example commandline instructions are for a Linux/Unix based OS)
$ pyshacl -s /path/to/shapesGraph.ttl -m -i rdfs -a -j -f human /path/to/dataGraph.ttl
Where
-s
is an (optional) path to the shapes graph to use-e
is an (optional) path to an extra ontology graph to import-i
is the pre-inferencing option-f
is the ValidationReport output format (human
= human-readable validation report)-m
enable the meta-shacl feature-a
enable SHACL Advanced Features-j
enable SHACL-JS Features (ifpyhsacl[js]
is installed)
System exit codes are:
0
= DataGraph is Conformant
1
= DataGraph is Non-Conformant
2
= The validator encountered a RuntimeError (check stderr output for details)
3
= Not-Implemented; The validator encountered a SHACL feature that is not yet implemented.
Full CLI Usage options:
$ pyshacl -h
$ python3 -m pyshacl -h
usage: pyshacl [-h] [-s [SHACL]] [-e [ONT]] [-i {none,rdfs,owlrl,both}] [-m]
[-im] [-a] [-j] [-it] [--abort] [--allow-info] [-w]
[--max-depth [MAX_DEPTH]] [-d]
[-f {human,table,turtle,xml,json-ld,nt,n3}]
[-df {auto,turtle,xml,json-ld,nt,n3}]
[-sf {auto,turtle,xml,json-ld,nt,n3}]
[-ef {auto,turtle,xml,json-ld,nt,n3}] [-V] [-o [OUTPUT]]
[--server]
DataGraph
PySHACL 0.26.0 command line tool.
positional arguments:
DataGraph The file containing the Target Data Graph.
optional arguments:
--server Ignore all the rest of the options, start the HTTP Server.
-h, --help show this help message and exit
-s [SHACL], --shacl [SHACL]
A file containing the SHACL Shapes Graph.
-e [ONT], --ont-graph [ONT]
A file path or URL to a document containing extra
ontological information. RDFS and OWL definitions from this
are used to inoculate the DataGraph.
-i {none,rdfs,owlrl,both}, --inference {none,rdfs,owlrl,both}
Choose a type of inferencing to run against the Data
Graph before validating.
-m, --metashacl Validate the SHACL Shapes graph against the shacl-
shacl Shapes Graph before validating the Data Graph.
-im, --imports Allow import of sub-graphs defined in statements with
owl:imports.
-a, --advanced Enable features from the SHACL Advanced Features
specification.
-j, --js Enable features from the SHACL-JS Specification.
-it, --iterate-rules Run Shape's SHACL Rules iteratively until the
data_graph reaches a steady state.
--abort Abort on first invalid data.
--allow-info, --allow-infos
Shapes marked with severity of Info will not cause
result to be invalid.
-w, --allow-warning, --allow-warnings
Shapes marked with severity of Warning or Info will
not cause result to be invalid.
--max-depth [MAX_DEPTH]
The maximum number of SHACL shapes "deep" that the
validator can go before reaching an "endpoint"
constraint.
-d, --debug Output additional runtime messages.
-f {human,table,turtle,xml,json-ld,nt,n3}, --format {human,table,turtle,xml,json-ld,nt,n3}
Choose an output format. Default is "human".
-df {auto,turtle,xml,json-ld,nt,n3}, --data-file-format {auto,turtle,xml,json-ld,nt,n3}
Explicitly state the RDF File format of the input
DataGraph file. Default="auto".
-sf {auto,turtle,xml,json-ld,nt,n3}, --shacl-file-format {auto,turtle,xml,json-ld,nt,n3}
Explicitly state the RDF File format of the input
SHACL file. Default="auto".
-ef {auto,turtle,xml,json-ld,nt,n3}, --ont-file-format {auto,turtle,xml,json-ld,nt,n3}
Explicitly state the RDF File format of the extra
ontology file. Default="auto".
-V, --version Show PySHACL version and exit.
-o [OUTPUT], --output [OUTPUT]
Send output to a file (defaults to stdout).
--server Ignore all the rest of the options, start the HTTP
Server. Same as `pyshacl_server`.
For basic use of this module, you can just call the validate
function of the pyshacl
module like this:
from pyshacl import validate
r = validate(data_graph,
shacl_graph=sg,
ont_graph=og,
inference='rdfs',
abort_on_first=False,
allow_infos=False,
allow_warnings=False,
meta_shacl=False,
advanced=False,
js=False,
debug=False)
conforms, results_graph, results_text = r
Where:
data_graph
is an rdflibGraph
object or file path of the graph to be validatedshacl_graph
is an rdflibGraph
object or file path or Web URL of the graph containing the SHACL shapes to validate with, or None if the SHACL shapes are included in the data_graph.ont_graph
is an rdflibGraph
object or file path or Web URL a graph containing extra ontological information, or None if not required. RDFS and OWL definitions from this are used to inoculate the DataGraph.inference
is a Python string value to indicate whether or not to perform OWL inferencing expansion of thedata_graph
before validation. Options are 'rdfs', 'owlrl', 'both', or 'none'. The default is 'none'.abort_on_first
(optional)bool
value to indicate whether or not the program should abort after encountering the first validation failure or to continue. Default is to continue.allow_infos
(optional)bool
value, Shapes marked with severity of Info will not cause result to be invalid.allow_warnings
(optional)bool
value, Shapes marked with severity of Warning or Info will not cause result to be invalid.meta_shacl
(optional)bool
value to indicate whether or not the program should enable the Meta-SHACL feature. Default is False.advanced
: (optional)bool
value to enable SHACL Advanced Featuresjs
: (optional)bool
value to enable SHACL-JS Features (ifpyshacl[js]
is installed)debug
(optional)bool
value to indicate whether or not the program should emit debugging output text, including violations that didn't lead to non-conformance overall. So when debug is True don't judge conformance by absense of violation messages. Default is False.
Some other optional keyword variables available on the validate
function:
data_graph_format
: Override the format detection for the given data graph source file.shacl_graph_format
: Override the format detection for the given shacl graph source file.ont_graph_format
: Override the format detection for the given extra ontology graph source file.iterate_rules
: Iterate SHACL Rules until steady state is found (only works with advanced mode).do_owl_imports
: Enable the feature to allow the import of subgraphs usingowl:imports
for the shapes graph and the ontology graph. Note, you explicitly cannot use this on the target data graph.serialize_report_graph
: Convert the report results_graph into a serialised representation (for example, 'turtle')check_dash_result
: Check the validation result against the given expected DASH test suite result.
Return value:
- a three-component
tuple
containing:conforms
: abool
, indicating whether or not thedata_graph
conforms to theshacl_graph
results_graph
: aGraph
object built according to the SHACL specification's Validation Report structureresults_text
: python string representing a verbose textual representation of the Validation Report
You can get an equivalent of the Command Line Tool using the Python3 executable by doing:
$ python3 -m pyshacl
Under certain circumstances pySHACL can produce a Validation Failure
. This is a formal error defined by the SHACL specification and is required to be produced as a result of specific conditions within the SHACL graph that leads to the inability to complete the validation.
If the validator produces a Validation Failure
, the results_graph
variable returned by the validate()
function will be an instance of ValidationFailure
.
See the message
attribute on that instance to get more information about the validation failure.
Other errors the validator can generate:
ShapeLoadError
: This error is thrown when a SHACL Shape in the SHACL graph is in an invalid state and cannot be loaded into the validation engine.ConstraintLoadError
: This error is thrown when a SHACL Constraint Component is in an invalid state and cannot be loaded into the validation engine.ReportableRuntimeError
: An error occurred for a different reason, and the reason should be communicated back to the user of the validator.RuntimeError
: The validator encountered a situation that caused it to throw an error, but the reason does not concern the user.
Unlike ValidationFailure
, these errors are not passed back as a result by the validate()
function, but thrown as exceptions by the validation engine and must be
caught in a try ... except
block.
In the case of ShapeLoadError
and ConstraintLoadError
, see the str()
string representation of the exception instance for the error message along with a link to the relevant section in the SHACL spec document.
PySHACL now has a built-in SPARQL Remote Graph Mode, which allows you to validate a data graph that is stored on a remote server.
- In this mode, PySHAL operates strictly in read-only mode, and does not modify the remote data graph.
- Some features are disabled when using the SPARQL Remote Graph Mode:
- "rdfs" and "owl" inferencing is not allowed (because the remote graph is read-only, it cannot be expanded)
- Extra Ontology file (Inoculation or Mix-In mode) is disabled (because the remote graph is read-only)
- SHACL Rules (Advanced mode SPARQL-Rules) are not allowed (because the remote graph is read-only)
- All SHACL-JS features are disabled (this is not safe when operating on a remote graph)
- "inplace" mode is disabled (actually all operations on the remote data graph are inherently performed in-place)
PySHACL now has a built-in validation service, exposed via an OpenAPI3.0-compatible REST API.
Due to the additional dependencies required to run, this feature is an optional extra.
You must first install PySHACL with the http
extra option enabled:
$ pip3 install -U pyshacl[http]
When that is installed, you can start the service using the by executing the CLI entrypoint:
$ pyshacl --server
# or
$ pyshacl_server
# or
$ python3 -m pyshacl server
# or
$ docker run --rm -e PYSHACL_SERVER=TRUE -i -t docker.io/ashleysommer/pyshacl:latest
By default, this will run the service on localhost address 127.0.0.1
on port 8099
.
To view the SwaggerUI documentation for the service, navigate to https://127.0.0.1:8099/docs/swagger
and for the ReDoc version, go to https://127.0.0.1:8099/docs/redoc
.
To view the OpenAPI3 schema see https://127.0.0.1:8099/docs/openapi.json
- You can force PySHACL CLI to start up in HTTP Server mode by passing environment variable
PYSHACL_SERVER=TRUE
. This is useful in a containerised service, where you will only be running PySHACL in this mode. PYSHACL_SERVER_LISTEN=1.2.3.4
listen on a different IP Address or hostnamePYSHACL_SERVER_PORT=8080
listen on given different TCP PORTPYSHACL_SERVER_HOSTNAME=example.org
when you are hosting the server behind a reverse-proxy or in a containerised environment, use this so PySHACL server knows what your externally facing hostname is
Pyinstaller can be
used to create an
executable for Windows that has the same characteristics as the Linux/Mac
CLI program.
The necessary .spec
file is already included in pyshacl/pyshacl-cli.spec
.
The pyshacl-cli.spec
PyInstaller spec file creates a .exe
for the
pySHACL Command Line utility. See above for the pySHACL command line util usage instructions.
See the PyInstaller installation guide for info on how to install PyInstaller for Windows.
Once you have pyinstaller, use pyinstaller to generate the pyshacl.exe
CLI file like so:
$ cd src/pyshacl
$ pyinstaller pyshacl-cli.spec
This will output pyshacl.exe
in the dist
directory in src/pyshacl
.
You can now run the pySHACL Command Line utility via pyshacl.exe
.
See above for the pySHACL command line util usage instructions.
Pull the official docker image from Dockerhub:
docker pull docker.io/ashleysommer/pyshacl:latest
Or build the image yourself, from the PySHACL repository with docker build . -t pyshacl
.
You can now run PySHACL inside a container; but you need to mount the data you want to validate.
For example, to validate graph.ttl
against shacl.ttl
, run :
docker run --rm -i -t --mount type=bind,src=`pwd`,dst=/data pyshacl -s /data/shacl.ttl /data/graph.ttl
PySHACL is a Python3 library. For best compatibility use Python v3.8 or greater. Python3 v3.7 or below is not supported and this library does not work on Python v2.7.x or below.
PySHACL is a PEP518 & PEP517 project, it uses pyproject.toml
and poetry
to manage dependencies, build and install.
For best compatibility when installing from PyPI with pip
, upgrade to pip v20.0.2 or above.
- If you're on Ubuntu 18.04 or older, you will need to run
sudo pip3 install --upgrade pip
to get the newer version.
A features matrix is kept in the FEATURES file.
A comprehensive changelog is kept in the CHANGELOG file.
This project includes a script to measure the difference in performance of validating the same source graph that has been inferenced using each of the four different inferencing options. Run it on your computer to see how fast the validator operates for you.
This repository is licensed under Apache License, Version 2.0. See the LICENSE deed for details.
See the CONTRIBUTORS file.
DOI: 10.5281/zenodo.4750840 (For all versions/latest version)
Project Lead: Nicholas Car Senior Experimental Scientist CSIRO Land & Water, Environmental Informatics Group Brisbane, Qld, Australia [email protected] https://orcid.org/0000-0002-8742-7730
Lead Developer: Ashley Sommer Informatics Software Engineer CSIRO Land & Water, Environmental Informatics Group Brisbane, Qld, Australia [email protected] https://orcid.org/0000-0003-0590-0131