Foundation of a Framework to Support Compliance Checking in Construction Industry
Computer use is pervasive in our daily life and the increasing demand for computer applications has penetrated into various domains. Construction industry has become one of domains which are more reliable on the application of computer to implement regulatory compliance checking. Like many safety critical domains, the construction domain has its own set of international building codes on construction projects which must comply with. With the increasing complexity of construction projects, many manual compliance checking techniques have shown some serious issues. First, the manual techniques are error-prone due to human errors. Second, the complexity of a construction project exceeds the human limit to deal with. Third, the evolution of a construction project is inevitable and the human maintenance of a construction project is almost impossible because either the memory of the original project design has faked away or some development team members are gone. So, it has become a new trend to employ computers to support automatic regulatory compliance checking in construction industry. In this paper, we propose a novel framework to support compliance checking with the emphasis on the foundation of automatic regulatory compliance checking to certify whether a construction project complies with some international building codes. An example is illustrated how compliance checking is performed in the framework.
Automating Codes Conformance in Structural Domain
The intelligent codes (SMARTcodes) is a new initiative of the International Code Council (ICC) that strives to automate code compliance check which takes the building plan as represented by a Building Information Model (BIM), and instantly checks for code compliance via model checking software. The goal is to be able to create an inspection checklist of building elements to look for, and viewing the building components that don't comply with code provisions and for what reasons. This paper examines automated code compliance checking systems that assess building designs according to various structural code provisions. This includes evaluating and reviewing the functional capabilities of both the technology and structure of smart codes and current building design rule checking systems. The paper suggests a new framework for development of automated rule checking systems to verify structural design against code provisions and other user defined rules.
Implementation of SPARQL Query Language Based on Graph Homomorphism
The sparql query language is a W3C candidate recommendation for asking and answering queries against RDF data. It offers capabilities for querying by graph patternsand retrieval of solutions is based on graph pattern matching. This paper is dedicated to the implementation of the sparql query language and its pattern matching mechanism which is reformulated into a graph homomorphism checking constrained by filter evaluation.