icdd-shacl-validation

icdd-shacl-validation

This GitHub repository contains datasets, rules, and source code used in the paper "Semantic rule checking of cross-domain building data in information containers for linked document delivery using the shapes constraint language" by P. Hagedorn , P. Pauwels , and M. König to provide a benchmark of SHACL rules on ICDD information containers.

Hagedorn, P., Pauwels, P., & König, M. (2023). Semantic rule checking of cross-domain building data in information containers for linked document delivery using the shapes constraint language. Automation in Construction, 156, Article 105106. https://doi.org/10.1016/j.autcon.2023.105106

For the generation of ICDD containers the IIB.ICDD framework is used. IFC conversion is done using IFCtoLBD converter. XML conversion is done using msproj-xm-to-lbd converter.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Contact

Philipp Hagedorn

philipp.hagedorn-n6v@rub.de

Chair of Computing in Engineering
Ruhr-Universität Bochum
Bochum
Germany

GitHub

Twitter

Datasets

The following datasets are available as Turtle files generated from ICDD containers in three different link configurations. The original datasets are inferred using the SHACL rules from the ICDDL ontology. The inferred triples are available besides the original dataset.

Rules

The following rules are available as SHACL shapes in the Turtle format. Each rule is encoded once for the inferred dataset and once for the original dataset.

R1,V1: Each building element must be linked to (at least) one task.

R1,V2: Each building element must be linked to (at least) one task.

R2,V1: Tasks associated with the same building element may not overlap in time.

R2,V2: Tasks associated with the same building element may not overlap in time.

R3,V1: A task for load-bearing reinforced concrete walls should not take longer than the average coefficient of performance of 2.5h/m³ in terms of the ratio between volume per unit time.

R3,V2: A task for load-bearing reinforced concrete walls should not take longer than the average coefficient of performance of 2.5h/m³ in terms of the ratio between volume per unit time.