Skip to main content

A SHACL validator capable of planning the traversal and execution of the validation of a shape schema to detect violations early.

Project description

Tests Latest Release Docker Image License: GPL v3

Python Versions Package Format Package Status Package Version

Publication Data Experiment Scripts

Logo

We present Trav-SHACL, a SHACL engine capable of planning the traversal and execution of a shape schema in a way that invalid entities are detected early and needless validations are minimized. Trav-SHACL reorders the shapes in a shape schema for efficient validation and rewrites target and constraint queries for fast detection of invalid entities. The shape schema is validated against an RDF graph accessible via a SPARQL endpoint.

Trav-SHACL Architecture Fig. 1: The Trav-SHACL Architecture (from [1])

Fig. 1 shows the architecture of Trav-SHACL. Trav-SHACL receives a SHACL shape schema S and an RDF graph G. The output of Trav-SHACL are the entities of G that satisfy the shapes in S. The inter-shape planner uses graph metrics computed over the dependency graph of the shape schema. It orders the shapes in S in a way that invalid entities are identified as soon as possible. The intra-shape planner and execution optimizes the target and constraint queries at the time the shape schema is traversed. So-far (in)validated entities are considered to filter out entities linked to these entities; query rewriting decisions (e.g., pushing filters, partitioning of non-selective queries, and query reordering) are made based on invalid entities' cardinalities and query selectivity. The rewritten queries are executed against SPARQL endpoints. The answers of the target and constraint queries as well as the truth value assignments are exchanged during query rewriting and interleaved execution. They are utilized — in a bottom-up fashion — for constraint rule grounding and saturation. The intra-shape planner and execution component runs until a fixed-point in the truth value assignments is reached.

If you want to know more, check out the documentation. The documentation also lists the current features and limitations.

How to run Trav-SHACL?

You can use Trav-SHACL as a Python3 library or a Web-based service using Docker. The documentation includes detailed examples for both scenarios.

WWW 2021 Evaluation

Trav-SHACL is presented in [1]. If you want to reproduce the results reported in our WWW '21 paper, checkout the eval-www2021 branch.

License

Trav-SHACL is licensed under GPL-3.0.

Publications

  1. Mónica Figuera, Philipp D. Rohde, Maria-Esther Vidal. Trav-SHACL: Efficiently Validating Networks of SHACL Constraints. In Proceedings of the Web Conference 2021 (WWW '21), April 19-23, 2021, Ljubljana, Slovenia. https://doi.org/10.1145/3442381.3449877, Experiment Scripts, Preprint

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

travshacl-1.7.2.tar.gz (48.1 kB view details)

Uploaded Source

Built Distribution

TravSHACL-1.7.2-py3-none-any.whl (53.9 kB view details)

Uploaded Python 3

File details

Details for the file travshacl-1.7.2.tar.gz.

File metadata

  • Download URL: travshacl-1.7.2.tar.gz
  • Upload date:
  • Size: 48.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.12.5

File hashes

Hashes for travshacl-1.7.2.tar.gz
Algorithm Hash digest
SHA256 97e4dddf141564c38fd288200cee427750a2340dbd47046b4eb9b0213688baf0
MD5 4217285ece1ff6855e584b1e2d502672
BLAKE2b-256 49eb6c9faf09a9119f35ced6ef8b77a7015dbdf9d5e516c3f461130074721b20

See more details on using hashes here.

Provenance

File details

Details for the file TravSHACL-1.7.2-py3-none-any.whl.

File metadata

  • Download URL: TravSHACL-1.7.2-py3-none-any.whl
  • Upload date:
  • Size: 53.9 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.12.5

File hashes

Hashes for TravSHACL-1.7.2-py3-none-any.whl
Algorithm Hash digest
SHA256 1bfa26ab9041704f78af788f3766a132d966ec2ece3488ca4cde5c504df93e2f
MD5 25ae87bef4213b90b55f427ce2f07e16
BLAKE2b-256 8e27ce2806726142b8b2cb859d5447bab09406210ded28637c070abdfb35436b

See more details on using hashes here.

Provenance

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page