<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Semantic Encoding of Construction Regulations</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>T H Beach</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Y Rezgui</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Cardiff University</institution>
          ,
          <addr-line>Cardiff, Wales</addr-line>
          ,
          <country country="UK">UK</country>
        </aff>
      </contrib-group>
      <fpage>52</fpage>
      <lpage>61</lpage>
      <abstract>
        <p>In recent years increased attention in the built environment research community has been given to the implementation of automatic compliance checking systems. Specifying, managing and subsequently executing these regulations is a challenging task, with a wide variety of experts involved. These experts range from experts in the regulations themselves, to specialists in BIM data formats and software engineers, all of whom are required to manage the automatic execute of a single regulation set. This paper demonstrates how an ontology can be used to encode construction regulations, acting as the single source for both human and machine readable regulations. The structure of the ontology will be described, along with how regulations can be encoded, and subsequently executed. This will be demonstrated on case studies using a proof-of-concept user interface that has been developed to abstract the generation of the ontological encoding.</p>
      </abstract>
      <kwd-group>
        <kwd>regulatory compliance</kwd>
        <kwd>linked data mapping</kwd>
        <kwd>reasoning</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>
        While the use of ICT to automate compliance checking has become common [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], the
effective conversion of complex textual regulations, readable by humans, into computer
executable code remains a difficult challenge [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. This process requires continual close
co-operation between domain experts with building regulation expertise, software
developers and those experienced in BIM data storage standards [
        <xref ref-type="bibr" rid="ref3 ref4">3,4</xref>
        ]. The reason for this
is that; (a) semantics within construction regulations are not standardised and many
regulations utilise differing semantics [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ], (b) there are a variety of data storage
standards utilized in the construction sector (such as the IFCs, and proprietary standards from
major software vendors) and (c) construction regulations are frequently updated. All of
this means that automating regulatory compliance in the construction sector requires a
large team and has become non-scalable resource and financially intensive task.
Moreover, it is our view that any approach that attempts to automate regulations must do
more than simply automate the execution of regulations but also provide for full
management of the regulations incorporating specification viewing, modification, storage
and execution. This is supported by the recent BuildingSMART regulatory room report
that recommends the specification and creation of a generic regulatory compliance
management tool [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
      <p>
        The adoption of semantic approaches to storage of built environment data [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] has
now paved the way for the use of semantics for regulatory compliance and the use of
ontologies to model regulations has already achieved success [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. Building on these
facts, this paper will demonstrate how an ontology can be used to encode construction
regulations, acting as the single source for both human and machine readable
regulations. To achieve this an ontology will be utilized to model regulations that are specified
using a defined methodology for specifying regulations. Additionally, improved ways
of mapping between the semantics of a domain and IFCOwl will be described. This
will all be demonstrated on two case study regulations using a proof-of-concept user
interface.
      </p>
      <p>In the remainder of this paper, Section 2 will describe relevant related work, Section
3 will describe our approach to semantically encoding construction regulations, Section
4 will demonstrate this approach through two case studies and, finally, Section 5 will
conclude the paper.
2</p>
    </sec>
    <sec id="sec-2">
      <title>Related Work</title>
      <p>
        There have been several examples of automated compliance checking in the
construction sector. One of the earliest successful examples was targeted at Singapore's Building
Regulations [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. This focused on the processing of rules in relation to industry standard
data formats, namely IFCs, rather than the management of regulations. More recently,
authors raised concerns about the different types of data formats used in the
construction sector and they also described initial work in embedding meta-data relating to the
IFC format directly into building regulations [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. This strengthens the need for
management of regulations as there are distinct differences between the semantics of the
regulations and the semantics of data files. Other related work has used and aligned two
ontologies to perform compliance checking based a series of rules that have been
extracted from a regulation based on SPARQL queries [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ]. This was expanded upon to
define a more comprehensive approach to constructing a rule checking environment
utilising semantic and a SWRL-based rule engine [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. Other work has focused on
specific building types, such as high-rise and complex buildings [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. In this work, the
authors have specified the regulations in a way that tightly couples them to the IFCs.
Key issues faced by regulatory compliance checking in the construction domain has
also been identified this includes inconsistent terminology between regulations, and
even within the same set of regulations [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]. Semantic approaches to regulation
checking within the construction sector are also becoming more common [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], however, this
work only proposed a simple IFC to RDF converter - no consideration is made for
semantic differences between the regulations and data file format. Other regulatory
compliance systems have utilized natural language processing [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ] to extract regulations
from documents, however these automatically extracted regulations will still require
extensive review so that domain experts can have confidence in their correctness. Work
is also being undertaken to define semantic representations of constructions regulations
[
        <xref ref-type="bibr" rid="ref15">15</xref>
        ], however it is our view that future work must look beyond the specification of the
initial set of regulations, but also consider the future modification and review to ensure
maintainability and confidence in automated regulatory compliance.
3
      </p>
    </sec>
    <sec id="sec-3">
      <title>Semantic Building Regulation Management System</title>
      <p>Figure 1 shows the overall architecture of our approach to managing construction
regulations using semantics. The process of automating a construction regulation
consists of several phases; (a) encoding the regulations – populating the regulation
ontology with data representing the encoding of the construction regulation being
considered (based on the semantics within the regulation structure ontology), (b)
alignment – populating the data mappings ontology, this is deliberately separate from
the regulation ontology to promote re-use between different regulations as applicable,
(c) execution of regulations, (d) modification of regulations/mappings, (e) generation
of human readable documentation.</p>
      <p>Based on these phases three distinct user interfaces have been developed to enable
the complexities of semantic modelling to be abstracted; (a) rule specification, (b)
data mapping and (c) rule execution. Each of these will be described in more detail in
the following subsection, along with how encoded regulations can be utilized to
generate human readable documents will also be described.
Encoding construction regulations involves transforming human readable regulations
into a semantic model, based on the semantics defined in the regulation structure
ontology. The process of encoding requires regulations authors to use user interface shown
in Figure 2, this process is described below:</p>
      <sec id="sec-3-1">
        <title>Structuring regulations into a hierarchy: regulation authors will structure their</title>
        <p>regulations into a series of hierarchical paragraphs – normally in line with the original
document structure. As part of this process authors must define whether each paragraph
should produce a true/false result (i.e. if the individual regulations within it are met). If
a paragraph does have a true/false result, it should be defined how a set of
sub-paragraphs contribute to the result of its parent paragraph (i.e. or/and).</p>
      </sec>
      <sec id="sec-3-2">
        <title>Encoding individual regulation paragraphs: Once the paragraph hierarchy has</title>
        <p>
          been created each individual regulation is tagged using RASE [
          <xref ref-type="bibr" rid="ref16 ref3">16,3</xref>
          ]. RASE is utilized
because it allows the specification of how a regulation should be evaluated in a
userfriendly way using a set of understandable tags, each possessing a well-defined logical
meaning. More specifically, RASE specifies four tags; Application (which restricts the
Scope), Selection (which increases the Scope), Exception (which allows the
specification of exceptions to the rule being specified), and Requirement (which specifies the
definitive requirements that must be met).
        </p>
        <p>Additionally, when adding RASE tags the user-interface will prompt the author to
specify metadata; (a) object i.e Fire Door, External Door, (b) property i.e. type, width,
height, (c) comparison i.e. =, &gt; , &lt;, (d) value to be compared against and (e) unit i.e m,
cm, litres. This metadata will be used to automatically build an ontology, that models
explicitly the semantics utilized within the regulation being considered. This phase
deliberately does not follow any existing building ontology, but rather lets the regulation
author specify the semantics explicitly through the interface. This is because we have
found that many regulations utilize subtly different semantics and, thus, the only way
to be sure of getting these semantics correct is to make the regulation author specify
them.</p>
        <p>The result of this process will be an ontology fully populated with data regarding the
regulation being considered. This ontology will utilize the semantics defined in the
regulation structure ontology, (extracts of the semantics of which are shown in Figure 3,
please note that for brevity data properties and inverse relationships are not shown).
Secondly, this process will result in a fully populated ontology encoding the regulations
along with the ontology explicitly defining the semantics of the regulation.</p>
        <p>It should be noted that the user interface is equally suited for the encoding of a new
regulation (one that has not previously been automated) and for modifying a previous
encoded regulation. This enables the scalable introduction of additional regulations as
standards and legislation changes. Additionally, this encoding process could easily be
extended to support language localization, where each paragraph shares the same RASE
encoding, but has versions of its text available in multiple languages. This allows the
support for regulations from other countries and multi-national regulations.
The process of aligning the semantics of a regulation to a BIM data format is performed
by mapping how data from the BIM data format can be translated into an ontology
based on the semantic of the given regulation. This is done using a user interface that
guides the user in mapping each object and property defined in the encoded regulation
ontology to the BIM data format. This process firstly consists of performing class level
mappings that specify a one to one relationship between a class in the regulation
ontology and a class in the data format ontology. In many cases the class in the data format
ontology will be less specific than is required (i.e. IfcDoor as opposed to a specific type
of door). To overcome this, the interface possesses functionality to allow this
relationship to be restricted with filters, limitation the relationship to only certain instances of
this class in the data format domain. The second stage is the specification of property
level mappings. This process maps properties from the regulation ontology onto
properties in the data format ontology. In this case, the user interface has been designed with
convenience functionality for the use of ifcOWL (i.e. abstracting the complexity of
property and quantity sets) but the use of any target data format is possible.</p>
        <p>
          These mapping are subsequently stored in the data mappings ontology, the semantics
of which are illustrated in Figure 4. These semantics, based on [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ] model the SPARQL
queries required to extract the needed data for each object/property, but it is important
to note that the user interface abstracts the complexity of SPARQL away from the
individual performing the mapping.
This phase of the regulatory compliance process raises two issues; (a) lack of data
present in BIM models, and (b) unit conversions. Firstly, in many cases, the data required
by regulations is simply not present in a BIM model, currently this approach deals with
this in one of two ways; (a) if the data can be calculated from the standard data available
in a BIM, then a function can be defined in a java like language to calculate it or (b) the
user can simply be asked to specify the data manually when the regulation is executed.
This approach is also utilized to deal with unit conversions, with functions defined to
convert between units. However, this approach is limited in the current IfcOWL
implementation by the fact that the IFC specification does not stipulate units for each
property.
3.3
        </p>
      </sec>
      <sec id="sec-3-3">
        <title>Executing Regulations and Generation of Human Readable Regulation</title>
      </sec>
      <sec id="sec-3-4">
        <title>Documents</title>
        <p>Once the ontologies have been populated, the regulations are able to be executed.
Firstly, a set of simple SWRL rules are generated automatically from the regulation
ontology. Then, the SPARQL queries modeled in the alignment ontology are executed
to load data from the BIM into an ontology that represents this data in the semantics of
the regulation being executed. This is done in a just in time fashion, so that a query is
only invoked when a rule needing specific data is executed. An example of rule
execution is shown in Figure 5. This rule execution follows a bottom up approach taking
each encoded regulation paragraph in turn. For each paragraph, the Application,
Exception and Selection encoding is firstly evaluated, to determine if the paragraph is in
scope (i.e. if a paragraph only applies to a hospital, do not apply this paragraph to an
office building). For all paragraphs that are in scope, the requirement encoding is then
evaluated, determining if the paragraph has passed or failed. The results of these
paragraphs are subsequently utilized to determine results for the rest of the regulation
hierarchy.</p>
        <p>
          In addition to rule execution, human readable regulation documents can also be
generated, by outputting latex that can then be compiled into a PDF. An example of this is
shown in Figure 6.
Our approach has so far been tested on two exemplar regulations, the UK Building
Regulations Part L [
          <xref ref-type="bibr" rid="ref17">17</xref>
          ] and the Secured by Design standard [
          <xref ref-type="bibr" rid="ref18">18</xref>
          ]. To conduct initial
trials of the system, these regulations were encoded by undergraduate students with
separate students performing the data mapping. This demonstrated that, given training,
those skilled in civil engineering, but not in computer programming, or semantic
modelling were able to successfully encode regulations. An example of the process of
encoding elements of the secure by design standard was shown in Figure 1, and Figure 7
shows an encoding for Part L. Once these regulations were encoded and mapped, they
were tested with data gathered as part of previous work [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ], this enabled the
functionality and correctness of the rule execution to be tested, an example of this is shown in
Figure 5. Subsequently Figure 8(left) shows an example of a SPARQL query generated
from the data mapping ontology and an exemplar SWRL generated from the regulation
ontology.
Door(?c) , isExitDoor(?c,true) -&gt; RegulationApplicable(P-3.2.1)
Door(?c) , isExitDoor(?c,true) , compliantWithPAS24_2012(?c,true)
-&gt;RegulationPass(P-3.2.1)
Door(?c), isExitDoor(?c,true) , compliantWithPAS24_2012(?c,false),
compliantWithSTS201Issue4(?c,false),
compliantWithLPS1175Issue7(?c,false),
compliantWithSTS201Issue3(?c,false),
compliantWithLPS2081Issue1(?c,false),
-&gt;RegulationFail(P-3.2.1)
select ?result WHERE {
?result rdf:type ifc:IfcDoor.
?result ifc:IsDefinedBy ?rel.
?rel rdf:type ifc:IfcRelDefinesByProperties.
?rel ifc:RelatingPropertySetDefinition ?pset.
?pset rdf:type ifc:IfcPropertySet.
?pset ifc:HasProperties ?p.
.....
        </p>
        <p>Finally, the generation of human readable documents was also tested and reviewed
by the students who encoded the regulations, an example of a human readable document
for secured by design was shown in Figure 6.</p>
        <p>In conclusion, while each of these were successfully executed, it was found that the
characteristics of these two regulations were slightly different, thus presenting different
challenges. The secured by design regulation contains many more prescriptive
regulations (i.e. widths of doors), meaning that more of the data required was present in the
BIM model. However, Part L has many less prescriptive regulations. These regulations
often do not have the required data present within BIM models. This means, that for
Part L, there was a far greater need to specify functions to calculate needed results, or
to ask for user input.
5</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Conclusion</title>
      <p>This paper has presented how an ontology can be used to encode construction
regulations, acting as the single source for both human and machine readable regulations, and,
based on this, how a management system for regulatory compliance can be created
around this ontology. This has been demonstrated through two case studies that, while
in the early stages and utilizing student users, have shown that users with no expertise
in rule languages, programming or semantics are able to, specify and manage
regulations. Additionally, this trial has shown that this ontology can also be used as a basis
for executing regulations, and generating human readable documents.</p>
      <p>This approach has the potential to overcome the key issue of the scalability of
automating regulations, which is caused by the required close co-operation between domain
experts with building regulation expertise, software developers and those experienced
in BIM data storage. Thus, it is our view that, in the future, having a single source from
which both human readable, and computer executable code can be generated is the best
way to create and, perhaps more importantly, maintain automated regulations checking
in the construction sector.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>K.</given-names>
            <surname>Law</surname>
          </string-name>
          ,
          <string-name>
            <surname>G.</surname>
          </string-name>
          <article-title>Lau, REGNET: regulatory information management, compliance and analysis</article-title>
          ,
          <source>In Proceedings of the 6th International Conference on Theory and Practice of Electronic Governance</source>
          (
          <year>2012</year>
          )
          <fpage>175</fpage>
          -
          <lpage>183</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>S.</given-names>
            <surname>Kerrigan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K. H.</given-names>
            <surname>Law</surname>
          </string-name>
          ,
          <article-title>Logic-based regulation compliance-assistance</article-title>
          ,
          <source>in: Proceedings of the 9th international conference on Artificial intelligence and law</source>
          ,
          <source>ICAIL '03</source>
          ,
          <string-name>
            <surname>ACM</surname>
          </string-name>
          , New York, NY, USA,
          <year>2003</year>
          , pp.
          <fpage>126</fpage>
          -
          <lpage>135</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>T.H.</given-names>
            <surname>Beach</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Rezgui</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Li</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Kasim</surname>
          </string-name>
          ,
          <article-title>A rule-based semantic approach for automated regulatory compliance in the construction sector</article-title>
          ,
          <source>Expert Systems with Applications</source>
          , Volume
          <volume>42</volume>
          ,
          <string-name>
            <surname>Issue</surname>
            <given-names>12</given-names>
          </string-name>
          ,
          <year>2015</year>
          , pp
          <fpage>5219</fpage>
          -
          <lpage>5231</lpage>
          ,
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>Y.</given-names>
            <surname>Liu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Muller</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Xu</surname>
          </string-name>
          ,
          <article-title>A static compliance-checking framework for business process models</article-title>
          ,
          <source>IBM Systems Journal</source>
          <volume>46</volume>
          (
          <issue>2</issue>
          ) (
          <year>2007</year>
          )
          <fpage>335</fpage>
          -
          <lpage>361</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5. Report on Open Standards for Regulations, Requirements and Recommendations Content, BuildingSMART Regulatory Room Working Group,
          <year>2017</year>
          , URL: https://buildingsmart1xbd3ajdayi.netdna-ssl.com/wp-content/uploads/2017/11/17-11-08-Open-Standards-forRegulation.pdf
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Beetz</surname>
          </string-name>
          , J., van Leeuwen, J. and
          <string-name>
            <surname>de Vries</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          (
          <year>2009</year>
          )
          <article-title>“IfcOWL: A case of transforming EXPRESS schemas into ontologies,” Artificial Intelligence for Engineering Design, Analysis and Manufacturing</article-title>
          . Cambridge University Press,
          <volume>23</volume>
          (
          <issue>1</issue>
          ), pp.
          <fpage>89</fpage>
          -
          <lpage>101</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>T.</given-names>
            <surname>Liebich</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Wix</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Forester</surname>
          </string-name>
          ,
          <article-title>Speeding-up Building Plan Approvals: The Singapore ePlan Checking project offers automatic plan checking based on IFC</article-title>
          ,
          <source>in: European Conferences on Product and Process Modelling</source>
          ,
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>C.</given-names>
            <surname>Eastman</surname>
          </string-name>
          , J. min Lee, Y. suk
          <string-name>
            <surname>Jeong</surname>
          </string-name>
          ,
          <source>J. kook Lee</source>
          ,
          <article-title>Automatic rule-based checking of building designs</article-title>
          ,
          <source>Automation in Construction 18 (8)</source>
          (
          <year>2009</year>
          ) pp
          <fpage>1011</fpage>
          -
          <lpage>1033</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>A.</given-names>
            <surname>Yurchyshyna</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. F.</given-names>
            <surname>Zucker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Thanh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Lima</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Zarli</surname>
          </string-name>
          ,
          <article-title>Towards an ontology-based approach for conformance checking modeling in construction, in: CIBW78 conference on Bringing ITC knowledge to work</article-title>
          , Maribor, Slovenia,
          <fpage>26</fpage>
          -
          <lpage>29</lpage>
          June,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <given-names>P.</given-names>
            <surname>Pauwels</surname>
          </string-name>
          ,
          <string-name>
            <surname>D. Van Deursen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Verstraeten</surname>
          </string-name>
          ,
          <string-name>
            <surname>J. De Roo</surname>
            , R. De Meyer, R. Van de Walle,
            <given-names>J. Van Campenhout</given-names>
          </string-name>
          ,
          <article-title>A semantic rule checking environment for building performance checking</article-title>
          ,
          <source>Automation in Construction 20 (5)</source>
          (
          <year>2011</year>
          ) pp
          <fpage>506</fpage>
          -
          <lpage>518</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>J. Choi</surname>
            ,
            <given-names>I. Kim</given-names>
          </string-name>
          ,
          <article-title>Development of bim-based evacuation regulation checking system for highrise and complex buildings, Automation in Construction</article-title>
          . Volume
          <volume>46</volume>
          ,
          <year>2014</year>
          , Pages
          <fpage>38</fpage>
          -49,
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <given-names>S.</given-names>
            <surname>Malsane</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Matthews</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Lockley</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P. E.</given-names>
            <surname>Love</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Greenwood</surname>
          </string-name>
          ,
          <article-title>Development of an object model for automated compliance checking</article-title>
          ,
          <source>Automation in Construction</source>
          <volume>49</volume>
          (
          <year>2015</year>
          )
          <fpage>51</fpage>
          -
          <lpage>58</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <given-names>B.</given-names>
            <surname>Zhong</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Ding</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Luo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Zhou</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Hu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Hu</surname>
          </string-name>
          ,
          <article-title>Ontology-based semantic modeling of regulation constraint for automated construction quality compliance checking</article-title>
          ,
          <source>Automation in Construction</source>
          <volume>28</volume>
          (
          <year>2012</year>
          )
          <fpage>58</fpage>
          -
          <lpage>70</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Jiansong</surname>
            <given-names>Zhang</given-names>
          </string-name>
          , Nora M.
          <article-title>El-Gohary, Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking</article-title>
          ,
          <source>Automation in Construction</source>
          , Volume
          <volume>73</volume>
          ,
          <year>2017</year>
          , pp
          <fpage>45</fpage>
          -
          <lpage>57</lpage>
          ,
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15. Sibel Macit İlal,
          <string-name>
            <given-names>H. Murat</given-names>
            <surname>Günaydın</surname>
          </string-name>
          ,
          <article-title>Computer representation of building codes for automated compliance checking</article-title>
          ,
          <source>Automation in Construction</source>
          , Volume
          <volume>82</volume>
          ,
          <year>2017</year>
          , pp
          <fpage>43</fpage>
          -
          <lpage>58</lpage>
          ,
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16. E. Hjelseth,
          <string-name>
            <given-names>N.</given-names>
            <surname>Nisbet</surname>
          </string-name>
          ,
          <article-title>Exploring semantic based model checking</article-title>
          ,
          <source>in: Proceedings of the 2010 27th CIB W78 International Conference, no. 54</source>
          ,
          <year>2010</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17. [Online]
          <article-title>RDFBOnes, Ontology for a SPARQL Query</article-title>
          , https://github.com/RDFBones/RDFBones/wiki/Ontology-for
          <string-name>
            <surname>-</surname>
          </string-name>
          SPARQL-query,
          <source>[Accessed April</source>
          <year>2018</year>
          ]
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18. [Online]
          <string-name>
            <given-names>UK Building</given-names>
            <surname>Regulations: Part</surname>
          </string-name>
          <string-name>
            <surname>L</surname>
          </string-name>
          , https://www.gov.uk/government/publications/conservation
          <article-title>-of-fuel-and-power-approved-document-</article-title>
          <string-name>
            <surname>l</surname>
          </string-name>
          ,
          <source>[Accessed April</source>
          <year>2018</year>
          ]
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19. [Online]
          <article-title>Secured by Design</article-title>
          , http://www.securedbydesign.com/,
          <source>[Accessed April</source>
          <year>2018</year>
          ]
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>