Trav-SHACL: Efficiently Validating Networks of SHACL Constraints

by   Mónica Figuera, et al.

Knowledge graphs have emerged as expressive data structures for Web data. Knowledge graph potential and the demand for ecosystems to facilitate their creation, curation, and understanding, is testified in diverse domains, e.g., biomedicine. The Shapes Constraint Language (SHACL) is the W3C recommendation language for integrity constraints over RDF knowledge graphs. Enabling quality assements of knowledge graphs, SHACL is rapidly gaining attention in real-world scenarios. SHACL models integrity constraints as a network of shapes, where a shape contains the constraints to be fullfiled by the same entities. The validation of a SHACL shape schema can face the issue of tractability during validation. To facilitate full adoption, efficient computational methods are required. 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 the fast detection of invalid entities. Trav-SHACL is empirically evaluated on 27 testbeds executed against knowledge graphs of up to 34M triples. Our experimental results suggest that Trav-SHACL exhibits high performance gradually and reduces validation time by a factor of up to 28.93 compared to the state of the art.


page 6

page 9


Statistics of Knowledge Graphs Based On The Conceptual Schema

In this paper, we propose a new approach for the computation of the stat...

Creating Knowledge Graphs Subsets using Shape Expressions

The initial adoption of knowledge graphs by Google and later by big comp...

Towards Neural Schema Alignment for OpenStreetMap and Knowledge Graphs

OpenStreetMap (OSM) is one of the richest openly available sources of vo...

Using Multiple RDF Knowledge Graphs for Enriching ChatGPT Responses

There is a recent trend for using the novel Artificial Intelligence Chat...

Towards Knowledge Graphs Validation through Weighted Knowledge Sources

The performance of applications, such as personal assistants, search eng...

Type-Constrained Representation Learning in Knowledge Graphs

Large knowledge graphs increasingly add value to various applications th...

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

We present an introduction and a review of the Shapes Constraint Languag...

Please sign up or login with your details

Forgot password? Click here to reset