Pith. sign in

REVIEW 1 cited by

Towards French Smart Building Code: Compliance Checking Based on Semantic Rules

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1910.00334 v1 pith:PPA7WNIF submitted 2019-10-01 cs.AI cs.CLcs.LO

classification cs.AIcs.CLcs.LO
keywords buildingapproachcheckingconstructionregulationsalgorithmsautomatedcompliance
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Manually checking models for compliance against building regulation is a time-consuming task for architects and construction engineers. There is thus a need for algorithms that process information from construction projects and report non-compliant elements. Still automated code-compliance checking raises several obstacles. Building regulations are usually published as human readable texts and their content is often ambiguous or incomplete. Also, the vocabulary used for expressing such regulations is very different from the vocabularies used to express Building Information Models (BIM). Furthermore, the high level of details associated to BIM-contained geometries induces complex calculations. Finally, the level of complexity of the IFC standard also hinders the automation of IFC processing tasks. Model chart, formal rules and pre-processors approach allows translating construction regulations into semantic queries. We further demonstrate the usefulness of this approach through several use cases. We argue our approach is a step forward in bridging the gap between regulation texts and automated checking algorithms. Finally with the recent building ontology BOT recommended by the W3C Linked Building Data Community Group, we identify perspectives for standardizing and extending our approach.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Large Language Model-Driven Code Compliance Checking in Building Information Modeling

    cs.SE 2025-06 conditional novelty 5.0 of 10

    An LLM-driven pipeline converts building code text into Python scripts that execute inside Revit to flag non-compliant BIM elements, shown on two case studies with 12 rules.

Pith tools