Abstract:Integrity constraints enforce consistency and completeness on data. The article discusses a newly developed validator for checking integrity constraints in Shapes Constraint Language (SHACL) through reduction to SPARQL Protocol and RDF Query Language (SPARQL) queries. It can be used with systems for ontology‐based database access. Tests of the validator in the smart materials domain perform comparably to off‐the‐shelf SHACL validators. Various types of semantic artifacts play a vital role in developing software systems, for example, information systems for materials scientists that adhere to the findability, accessibility, interoperability, reusability principles for digital assets. Among them, integrity constraints (ICs) are essential artifacts as they orthogonally add to the representation capabilities of ontologies a means to enforce consistency and completeness of given data. An IC language recommended by the worldwide web consortium (W3C) for use with linked open data is Shapes Constraint Language (SHACL). This article discusses the algorithm and evaluation results for a new SHACL validator developed in the context of SmaDi, a project for digitalizing smart materials associated with MaterialDigital. The new validator reduces SHACL constraints to SPARQL Protocol and RDF Query Language (SPARQL) queries, that is, queries in the W3C recommended query language over repositories represented in the standard syntax for linked open data, RDF. Hence, in contrast to off‐the‐shelf validators, it can be used with any SPARQL endpoint, even if there is only a (virtual) view of the RDF data. The article demonstrates the use of SHACL ICs for modeling some simple constraints over smart materials. The evaluation shows that our SHACL validator has processing times comparable to off‐the‐shelf SHACL validators.

Enhancement and validation of ifcOWL ontology based on Shapes Constraint Language (SHACL)

Implementation of Spatial Information Web Services Based on Ontology

Using Semantic Web Technologies to Specify Constraints of RBAC

Modeling and Accessing Smart Materials with Shapes Constraint Language Integrity Constraints and Ontologies—The SmaDi Way

Automatic Integrity Checking of IFC Models relative to building Regulations

IfcWoD, Semantically Adapting IFC Model Relations into OWL Properties

Automatic Compliance Checking of BIM Models Against Quality Standards Based on Ontology Technology

Realization Distributed Access Control Based on Ontology and Attribute with OWL

An ontology-aided, natural language-based approach for multi-constraint BIM model querying

An ontology‐based rule mapping approach for integrating IFC and CityGML

Using the Shapes Constraint Language for modelling regulatory requirements

Efficient Validation of SHACL Shapes with Reasoning

A Semantic Mapping System for Bridging the Gap between Relational Database and Semantic Web

Formalizing and validating Wikidata's property constraints using SHACL and SPARQL

Consistent Query Answering over SHACL Constraints

Semantic web based rule checking of real-world scale BIM models : a pragmatic method

Integrating Relational Databases with Semantic Web Ontologies : Reasoning and Query Answering using Views

An Industry Foundation Classes (IFC) Web-Based Approach and Platform for Bi-Drectional Conversion of Structural Analysis Models

Formalizing Parameter Constraints to Support Intelligent Geoprocessing: A SHACL-Based Method

Prospective Directions in the Computer Systems Industry Foundation Classes (IFC) for Shaping Data Exchange in the Sustainability and Resilience of Cities

Shacl4Bib: custom validation of library data