Modelling construction scheduling constraints using shapes constraint language (SHACL)

Abstract

This paper presents a new approach for modelling construction scheduling constraints using Shapes Constraint Language. Current modelling approaches focuses on modelling precedence and discrete constraints at master planning or phase planning level and lacks the ability to model complex constraints at look ahead planning level. Proposed modelling approach addresses this limitation. Precedence constraints, discrete resource capacity constraints, disjunctive constraints and logical constraints are modelled using shapes constraint language for a simple lifting problem in this paper. The modelled constraints were tested, and the constraints model was able to identify the violations effectively and produce a validation report.

Semantic rule checking of cross-domain building data in information containers for linked document delivery using the shapes constraint language

“…Stolk et al [51] present SHACL validation for IFC models converted to their ontological representation in ifcOWL. There are also approaches for validating LBD that is not directly derived from IFC models or BIM data, as presented for construction schedules by Soman [50], or structure-related information from knowledge bases, as provided by Hamdan et al [18].…”

“…Three validation rules have been defined for validating the previously described datasets (see Section 3.2.2) with increasing complexity. The application for checking schedules by Soman [50] with SHACL shapes has already shown the use of SHACL SPARQL for scheduling constraints. In this paper, validation rules are defined to represent the link validation strategy as defined in Fig.…”

Towards circular cities: directions for a material passport ontology

“…Integrating material passport information for circular cities requires integrating data from heterogeneous sources at different levels of abstraction. Linked-data technologies and ontologies have been used in such cases to integrate data from multiple domains and scales (Pauwels, Zhang, and Lee, 2017;Soman, Molina-Solana, and Whyte, 2020) and modelling constraint relationships (Soman, 2019). Further linked-data technologies have also been used in the city scale for decision-making during city planning (Chadzynski et al, 2021;.…”

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

“…shacl is also used by the European Commission to facilitate data sharing, for example by validating metadata about public services against the recommended vocabularies [46]. Notably, several approaches define translations into shacl from other technologies, such as ontologies and other schema and constraint languages [16,21,25,32,40,47]. These results show that shacl tools, and in particular validators, can benefit areas where technologies other than shacl are already established.…”