In this paper we are reporting on a prototypical implementation of a model view checker for
model instance validation of Industry Foundation Classes (IFC) models. This checker is …

A building design must comply with a wide spectrum of requirements stipulated by building
codes, normative standards, owner's specifications, industry's guidelines, and project …

Automated compliance checking (ACC) of building designs requires automated extraction of
information from building information models (BIMs). However, current industry foundation …

Most of the existing automated code compliance checking (ACC) methods are unable to fully
automatically convert complex building-code requirements into computer-processable …

Building designs in countries such as the United Kingdom are currently checked manually
against a frequently changing and increasingly complex set of building regulations. This is a …

Automated code compliance checking has been implemented using a variety of different
methods. These methods vary widely in terms of automation level, expressivity …

Abstract Building Information Modeling (BIM) is a widely established method in the
architecture, engineering, construction, and facilities management (AEC/FM) industry …

Automated regulatory compliance checking requires automated extraction of requirements
from regulatory textual documents and their formalization in a computer-processable rule …

As thinking moves away from 3D visualisation towards information quality and speed of data
exchange,[1], the architectural, engineering and construction (AEC) industry is seeking …

Purpose–The purpose of this paper is to explore the feasibility that an ontological approach
can be applied to formalize the construction regulation constraint knowledge in a computer …