Abstract:Compliance inspections and building analysis are critical to the success of any construction project. At present, such assessments are primarily conducted manually by experts in the architecture, engineering and construction (AEC) sector resulting in a tedious, labor‐intensive, and generally inefficient undertaking. Yet, with the gradual adoption of Building Information Modeling (BIM), automated building analysis and compliance checking become feasible. The Industry Foundation Classes (IFC) has received a lot of traction in the AEC industry as a vendor‐neutral data model. Its well‐defined semantics can be exploited by reasoning engines that allow for semantic reasoning on building models, the core mechanism required for automated compliance checking and building analysis. In this paper, a general‐purpose model checking framework for IFC building models, as well as an appropriate specification layout are introduced. Model checking via semantic reasoning is realized using various technologies from the Semantic Web. To present and evaluate our implementation, a sample specification is developed and tested on two IFC building models. Translation abstract BIMResaon – Validierung der Richtigkeit von BIM‐Modellen Kontrollmechanismen zur Einhaltung von Vorschriften und Durchführung von Gebäudeanalysen sind für den Erfolg eines jeden Bauvorhabens von entscheidender Bedeutung. Gegenwärtig werden solche Bewertungen hauptsächlich manuell von Experten aus den Bereichen Architektur, Ingenieur‐ und Bauwesen (AEC‐Branche) durchgeführt, was zu einem langwierigen, arbeitsintensiven und im Allgemeinen ineffizienten Unterfangen führen kann. Mit der schrittweisen Einführung der Gebäudedatenmodellierung (Building Information Modeling, kurz BIM) werden jedoch automatisierte Gebäudeanalysen und Konformitätsprüfungen möglich. Insbesondere die industry foundation classes (IFC) haben sich in der AEC‐Branche als herstellerneutrales Datenmodell durchgesetzt. Die gut definierte Semantik kann von Reasoning Engines genutzt werden, um semantisches Schlussfolgern (reasoning) aus Gebäudemodellen zu ziehen – was den Kernmechanismus darstellt, der für die automatisierte Konformitätsprüfung und Gebäudeanalyse erforderlich ist. In diesem Beitrag werden dazu ein allgemeines Framework für die Prüfung von IFC‐Gebäudemodellen sowie ein geeignetes Spezifikationslayout für Prüfregeln vorgestellt. Die Modellprüfung durch semantisches Reasoning wird mit Hilfe verschiedener Technologien aus dem Semantic Web realisiert. Um unsere Implementierung zu demonstrieren und zu evaluieren, wird eine Beispielspezifikation entwickelt und an zwei IFC‐Gebäudemodellen getestet.

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

Compliance checking approach for BIM structural model under semantic web

Validation of technical requirements for a BIM model using semantic web technologies

BIM-enabled semantic web for automated safety checks in subway construction

Automated compliance checking for BIM models based on Chinese-NLP and knowledge graph: an integrative conceptual framework

Improving Procedural Modeling with Semantics in Digital Architectural Heritage.

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

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

Automatic Integrity Checking of IFC Models relative to building Regulations

Ontology-Based Computerized Representation Method for BIM Model Quality Standards

Knowledge-informed semantic alignment and rule interpretation for automated compliance checking

Semantic-based Approach for Compliance Checking of Construction Industry

Semantic Rule-Driven Modeling for Chinese Ancient Architectures

Compliance Checking on Topological Spatial Relationships of Building Elements Based on Building Information Models and Ontology

Semiautomatic Rule Assist Architecture Modeling

Research and Application of Intelligent BIM Model Checking Tools

BIMReason: Validating BIM model correctness

Multi-ontology Fusion and Rule Development to Facilitate Automated Code Compliance Checking Using BIM and Rule-Based Reasoning

Building Information Modeling Using Constraint Logic Programming

Ontology-based Framework for Building Environmental Monitoring and Compliance Checking under BIM Environment

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