<!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>From standards and regulations to executable rules: A case study in the Building Accessibility domain</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Ling Shi</string-name>
          <email>ling.shi@statsbygg.no</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Dumitru Roman</string-name>
          <email>dumitru.roman@sintef.no</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>SINTEF</institution>
          ,
          <addr-line>Pb. 124 Blindern, 0314 Oslo</addr-line>
          ,
          <country country="NO">Norway</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Statsbygg</institution>
          ,
          <addr-line>Pb. 8106 Dep, 0032 Oslo</addr-line>
          ,
          <country country="NO">Norway</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Regulatory compliance check in the building industry is a complex task that involves cross-domain national and international standards and regulations. This paper introduces a refined approach to extract SWRL rules from building accessibility regulatory texts and then to transform them into executable rules for semi-automatic compliance checking of Building Information Models. The domain ontology model is a key input to the approach and is enriched by new knowledge extracted from the regulatory text. This semantic technology enhanced rule extraction approach standardized the rule extraction process by covering the whole lifecycle from regulatory text to executable rules. It is based on the open standards and applies open source tools and thereby portable and extendable. It conforms to the open BIM principle to support knowledge sharing cross domains and disciplines. The approach is also adaptable to other types of regulatory rules in the building industry.</p>
      </abstract>
      <kwd-group>
        <kwd>Regulatory Compliance Check</kwd>
        <kwd>Rule Extraction</kwd>
        <kwd>Semantic Annotation</kwd>
        <kwd>Ontology</kwd>
        <kwd>OWL</kwd>
        <kwd>SWRL</kwd>
        <kwd>BIM</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        In today’s digital society Natural Language (NL) standards and regulations are still
widely used by the governments, companies and organizations. The building industry
needs to comply with cross-domain international and national standards and
regulations, which makes the regulatory compliance check a very complex task [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ].
Building Information Modeling (BIM) based on the open Industry Foundation Class (IFC)
standard helps architects, engineers and constructors to visualize what is to be built in
simulated environments and to identify potential design, construction or operational
problems [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ][
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. Semi-automatic compliance checking on Building Information
Models (BIM) assists the regulatory compliance check in a more effective and
standardized way than manual checking. Regulations and standards need to be transformed
into executable rules to automate the checking in BIM. Extracting rules from the NL
regulatory text and transforming them into the executable rules of an IT system is a
challenging task in computer engineering because it requires both domain expertise
and IT system technical knowledge. The domain knowledge learned from the
traditional IT-engineering process is difficult to be reused and hardly portable if the rules
are documented and implemented in a system-specific manner. It is therefore
important to standardize the rule extraction process and make the process and products
transparent, portable and extensible.
      </p>
      <p>
        Natural language processing and automatic rule extraction from natural language
text have a long history. A process of generating automatically grammar rules from
ontologies for information extraction systems is described in [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. Several researchers
have also tried to establish a framework or methodology for automatic rule extraction.
A framework is introduced in [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] for the automatic extraction of rules from online text
using OWL ontology and Semantic Web Rule Language (SWRL) rules – a semantic
web rule language combining OWL and RuleML. A three-step acquisition
methodology is presented in [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] to transform the text into a set of self-sufficient rules written in
SBVR-SE controlled language. All the above frameworks or methodologies require a
domain ontology model which represents the domain knowledge. Though such works
try to provide a generic framework or methodology for rule extraction from the
regulatory text, there is little, if any, evidence on the practicality of these results when
applied to specific real-world case studies in the building accessibility domain.
      </p>
      <p>This paper presents a refined approach based on existing rule extraction techniques
and applies it to a real-world case in the building accessibility domain and at the same
time tests the maturity and practicality of the rule extraction techniques. The rule
extraction process in the building industry requires domain specific knowledge and
has often been a closed non-standardized process. The refined approach enhanced by
semantic technology helps to standardize and automate the rule extraction in a
transparent process, and it simplifies rule comparison and cross-platform rule sharing.</p>
      <p>The paper is organized as follows. Section 2 describes the case of building
accessibility regulatory rules and introduces a rule extraction approach for this domain,
Section 3 presents the implementation of the approach and Section 4 provides a summary
and outlines potential further works.</p>
    </sec>
    <sec id="sec-2">
      <title>Case study</title>
      <sec id="sec-2-1">
        <title>Building Accessibility standard and regulations as rulesets</title>
        <p>Regulations of building accessibility cover various aspects of building accessibility.
Statsbygg1 of Norway and Skanska of Finland2 have contributed to the development
of rulesets in Solibri3 for checking accessibility according to ISO 21542:2011
Building construction - Accessibility and usability of the built environment4. The rulesets
1 http://www.statsbygg.no/System/Topp-menyvalg/English/
2 http://www.skanska.fi/
3 http://www.solibri.com/
4 http://www.iso.org/iso/catalogue_detail?csnumber=50498
can be executed to check building information models’ compliance to the ISO
standard on the fly. It simplifies the compliance check process which traditionally is a
manual process. However, the rulesets covers only part of the ISO 21542:2011
regulatory text and need to be extended. The engineering process of converting the ISO
standard to executable rulesets is not open and transparent for the public. It is
therefore costly and difficult to customize, extend, share and build new rulesets using the
Solibri tool.</p>
        <p>Except for the ISO standard, the building industry needs to comply with other
regulations or standards of building accessibility. For example, the Norwegian
national building regulations TEK105 specify the outdoor accessibility requirements in
Chapter 8 and indoor accessibility rules in Chapter 12. Some companies such as
Statsbygg have their own internal text-based rules in addition to the international and
national standards and regulations. We need to develop an open approach to extract
rules from different regulatory text in a standardized and streamlined way. In
addition, comparing rules from different standards or regulations is also a challenging task
and may also benefit from the standardization of the rule extraction process.
2.2</p>
      </sec>
      <sec id="sec-2-2">
        <title>Method design</title>
        <p>This paper suggested a refined approach based on semantic technology for rule
extraction from regulatory text in the building industry as illustrated in Fig. 1.
Semantic annotation is the first step in this knowledge engineering process.
Regulation text on building accessibility and a basic domain-specific ontology model are
inputs, while the annotated text and an enriched ontology model are outputs from this
step. It helps to bridge the ambiguity of the natural language when expressing notions
and their computational representation in a formal language6.</p>
        <p>The second step is extraction of normalized rules based on the analysis of the
annotated text and the enriched ontology model. RuleML, SWRL, R2ML (Reverse Rule
Markup Language) and F-logic (Frame Logic) are rule languages with different
expressiveness and decidability. SWRL is chosen as the rule language because it covers
the current needs in the case study. In addition, SWRL is tightly connected to the
OWL ontology model. SWRL directly enriches the OWL ontology model which is
5 http://www.lovdata.no/cgi-wift/ldles?doc=/sf/sf/sf-20100326-0489.html
6 http://www.ontotext.com/kim/semantic-annotation
the key input to the last step. Other normalized rule languages can be evaluated in the
future depending on the needs of expressiveness, decidability and portability.</p>
        <p>
          The third step is transforming normalized rules to executable rules such as MVDs7
and XSLTs for regulatory compliance checking in BIM. There have been several
initiatives to implement the checking rules, such as the Solibri rulesets and a Java
based model check plugin8, and open standards like MVDs, SEMs9 and XSLTs. In [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ]
the authors compare MVDs and XSLTs and their pros and cons. In this case study
XSLT is chosen as the executable rules language because XSLT is a well-known
W3C standard and covers the current needs of the case study. However MVDs may
be considered in the future work because of MVDs’ tight connection to BIM and IFC
standards. Transformation from SWRL rules to executable BIM rules is carried out
based on the mapping between the ontology model and BIM schema. The mapping
includes linking classes, object properties, data properties from the ontology model to
classes, relations and attributes in the BIM schema.
3
        </p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Implementation</title>
      <p>The TEK10 regulation text contains the accessibility requirements of stairs and their
components so as the text from Chapter 13.2 of ISO 21542:2011. Both example texts
are provided in the Appendix of this paper. The extracted SWRL rules from the two
examples are afterwards compared and analyzed. At the end, examples of
transforming SWRL rules to executable rules are presented.
3.1</p>
      <sec id="sec-3-1">
        <title>Step 1: Semantic annotation</title>
        <p>This step implements and compares non-semantic and semantic annotation in Gate
Developer10. Annotation using the standard ANNIE11 tool on the TEK10 regulation
text of stairs returns the non-semantic annotation result as shown in Fig. 2. The
unclassified proper name is annotated as unknown and the other standard annotation sets
do not provide much information either. The semantic annotation however classifies
more domain related information in the text. An OWL ontology stairs model based on
an existing UML example12 and wiki-vocabulary definition13 is created in this case
study as input to Step 1. Gate can be used to annotate ontology classes, properties and
individual instances. Classes are typically used in the regulation text instead of
individual instances. The result of the semantic annotation using GATE plugin OAT is
shown in the Fig. 3.
7 http://www.buildingsmart.org/standards/mvd
8 http://bimserver.org/2014/04/28/release-1-3-0-final/
9 http://www.dbl.gatech.edu/sem
10 http://gate.ac.uk/family/developer.html
11 http://gate.ac.uk/sale/tao/splitch6.html
12
http://www.redaktion.tu</p>
        <p>berlin.de/fileadmin/fg227/Publications/schmittwilken_et_al_2007_semantic.pdf
13 http://en.wikipedia.org/wiki/Stairs
In the above result some of the names, such as stairwells, are still not classified. Some
of the data properties, such as clearance width and height of flights and whether
flights are internal or straight do not exist in the ontology model. It indicates the need
to extend the ontology model. The extended ontology model adds, e.g., Stairwell as a
new class and adds the clearance width and height as data property to the class Flight.
The enriched ontology model provides a refined annotation result in Gate.</p>
        <p>Though Gate supports annotation of relationships such as object properties, it does
not support data properties annotation which is a necessary building block in
specifying the building accessibility rules related to the constructional properties such as
maximum or minimum depth, width, length. The final output of Step 1 is an enriched
ontology model and the annotated text, though not complete because of the limitation
of the used tools. Other semantic annotation tools such as Ontotext KIM14 shall be
evaluated in further work.
3.2</p>
      </sec>
      <sec id="sec-3-2">
        <title>Step 2: Extraction of normalized rules</title>
        <p>
          The annotation results and the enriched ontology model provide the foundation for
extracting normalized rules in Step 2. To assist the SWRL rules generation a new data
property named meetRequirement is added to the ontology and made accessible for
all the domain classes. SWRL rules have been manually created based on the
semantic annotation result. The SWRL generation process can be automated in the future by
implementing the rule extraction frameworks such as [
          <xref ref-type="bibr" rid="ref5">5</xref>
          ].
        </p>
        <p>Below are SWRL rules extracted from the example text. TEK10_Stairs_§12_16_c
rule shows that if the flight is straight, the minimum depth on threads is 0.25m,
otherwise the requirement of Flight is not met.</p>
        <p>TEK10_Stairs_§12_16_c
Flight(?f) ∧ isStraight (?f,true) ∧ hasStep (?f,?s) ∧ hasTread(?s,?t)
∧ depth(?t, ?td) ∧ sqwrl:least(?td, 0.25) → meetRequirement (?f, true)
TEK10_Stairs_§12_16_f1 rule describes that if a flight is internal, the minimum
clearance width of a flight is 0.8m, and the minimum clearance height is 2m,
otherwise the requirement of Flight is not met.</p>
        <p>TEK10_Stairs_§12_16_f1
Flight(?f) ∧ isInternal(?f, true) ∧ clearancewidth(?f, ?fw) ∧ sqwrl:least(?fw, 0.8)
∧ clearanceheight(?f, ?fh) ∧ sqwrl:least(?fh, 2) → meetRequirement (?f, true)
TEK10_Stairs_§12_16_f2 rule describes that if a flight is not internal, the
minimum clearance width of a flight is 0.9m, and the minimum clearance height is 2.1m,
otherwise the requirement of Flight is not met.</p>
        <p>TEK10_Stairs_§12_16_f2
Flight(?f) ∧ isInternal(?f, false) ∧ clearancewidth(?f, ?fw) ∧ sqwrl:least(?fw, 0.9)
∧ clearanceheight(?f, ?fh) ∧ sqwrl:least(?fh, 2.1) → meetRequirement (?f, true)
3.3</p>
      </sec>
      <sec id="sec-3-3">
        <title>Rules comparison</title>
        <p>Comparing the similar rules from different regulations or standards text against text is
a difficult task and one of the challenges is lack of common terminology and
ontology. Synonym identification is necessary to achieve the common understanding of
terms. For example, in TEK10 the term “clearance width of flight” is used, and in ISO
21542:2011 both the terms “width of flight” and “width between handrails” are used.
The domain knowledge is needed to identify that the “width between handrails” is a
14 http://www.ontotext.com/kim
synonym to “clearance width of flight”. SWRL rules simplify the comparison by
presenting the rules in a normalized format based on a common ontology model. Below
is an example of SWRL rule extracted from the ISO 21542:2011 text that describes
the requirements of minimum flight width.</p>
        <p>ISO 21542_Stairs_§13_2a
Flight(?f) ∧ width(?f, ?fw) ∧ sqwrl:least(?fw, 1.2) ∧ clearancewidth(?f, ?fcw)
∧ sqwrl:least(?fcw, 1) → meetRequirement (?f, true)</p>
        <p>TEK10_Stairs_§12_16_f1 and TEK10_Stairs_§12_16_f2 from Section 3.2 also
describe the requirements of minimum flight width. The comparison result shows that
ISO 21542:2011 has a stricter requirement on flight clearance width than TEK10.
3.4</p>
      </sec>
      <sec id="sec-3-4">
        <title>Step 3: Transformation from normalized rules to executable rules</title>
        <p>
          This step aims to generate executable rules based on normalized rules and apply them
on BIM models. Before the transformation we first make an ontology mapping
between the enriched ontology from Step 2 and the BIM schemas. The IFC Stair and
Flight concepts and attributes are described in MVC-56515 and IFC property set
definition reference16,17. The ontology class Stair is mapped to IfcStair and class Flight is
mapped to IfcStairFlight. The relationships between ontology classes such as the
aggregation relationship between Stair and Flight are also mapped to the corresponding
IfcRelAggregates relation in the BIM schema. Some properties in the ontology model
cannot find a direct matching property in BIM schema, e.g., a stair in BIM is not
marked as straight or not, but it can be calculated from the WalkingLine
GeometricSet. Below is an example result of transforming TEK10_Stairs_§12_16_c to XSLT
rules. The XSLT rules can be executed on a BIM model to check if the rule
TEK10_Stairs_§12_16_c is met.
&lt;xsl:when test="($IfcElement='IfcStair')
and
(IfcProductDefinitionShape\IfcShapeRepresentation\IfcRepresentation.Items[
          <xref ref-type="bibr" rid="ref1">1</xref>
          ]=
'IfcPolyline')"&gt;
&lt;xsl:for-each select="IfcRelAggregates"&gt;
&lt;xsl:when test="($IfcElement='IfcStairFlight')
and ($TreadLengthAtOffset &lt;0.25)"&gt;
        </p>
        <p>&lt;xsl:text&gt;TEK10_Stairs_§12_16_c VIOLATED&lt;/xsl:text&gt;
&lt;/xsl:when&gt;
&lt;/xsl:for-each&gt;
&lt;/xsl:when&gt;
15 http://www.blis-project.org/IAI-MVD/Concepts/MVC-565.pdf
16
http://www.buildingsmart</p>
        <p>tech.org/ifc/IFC2x4/alpha/html/psd/IfcSharedBldgElements/Pset_StairCommon.xml
17
http://www.buildingsmart</p>
        <p>tech.org/ifc/IFC2x4/alpha/html/psd/IfcSharedBldgElements/Pset_StairFlightCommon.xml</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Summary and outlook</title>
      <p>We have presented a refined approach for extracting normalized rules from building
accessibility regulatory text and transforming the rules to assist semi-automatic
compliance checking in the building industry. The domain ontology model is a key input
to all the steps and the quality of the domain ontology model are one of the main
factors that influence the results of rule extraction. The basic domain ontology model can
be created based on industrial standards and common knowledge and it is enriched in
the rule extraction process. The ontology model is first extended in Step 1 by adding
domain knowledge from regulatory text in the form of new classes, properties and
relations; it is then enriched in Step 2 by adding SWRL rules extracted from the
regulatory text. In Step 3, SWRL rules are transformed to executable BIM rules in XSLTs
based on the mapping between the ontology model and the BIM schema. The
approach covers the whole rule extraction lifecycle from regulatory text to executable
rules instead of only from regulatory text to normalized rules, or only from
normalized rules to executable rules. It is based on open standards and applies open source
tools and thereby portable and extendable. The results from the approach, such as the
enriched domain ontology model, the generated normalized rules and executable rules
are also portable and extendable. This conforms to the open BIM principle to support
rules and knowledge sharing cross domains and disciplines. The approach also
simplifies comparison of rules from different sources as described in Section 3.3.</p>
      <p>
        Currently the rule extraction process in Step 2 and the mapping is mostly manual
and could be automated by implementing existing frameworks such as [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] in the
future. The transformation process from normalized rules to executable rules in Step 3
is also manual and mapping between the ontology model and BIM schema need to be
extended and the transformation can be automated by a Java based tool in the further
work. This case studies accessibility rules of stairs as an example, however the
approach should also be adapted to the accessibility rules of other building components
and regulatory rules in the building industry in the future work.
      </p>
      <p>Acknowledgements. The work in this paper is partly supported by the EC funded
project proDataMarket (Grant number: 644497).</p>
    </sec>
    <sec id="sec-5">
      <title>Appendix</title>
      <sec id="sec-5-1">
        <title>The Regulations on Stairs in TEK10</title>
        <sec id="sec-5-1-1">
          <title>Section 12-16. Stairs</title>
          <p>Stairs shall be easy and safe to navigate. The width and height of stairs shall be
designed for the expected traffic and transport, including escaping in case of fire. The
following shall, as a minimum, be complied with:
 Flights of stairs shall have safe edges and handrails on both sides.
 Flights of stairs shall have a regular incline and the risers shall be the same
height for the entire length of the flight of stairs.
 Treads in straight flights of stairs shall be the same depth. Treads in the
walking line shall be a minimum of 0.25 m.
 Landings shall be large enough to halt falls. Height differences of more than
3.3 m require a landing.
 Stairwells shall be well lit so that the steps are visible. Treads shall have a
non-slip surface.
 Flights of stairs shall have a minimum clearance width of 0.9 m and
minimum clearance height of 2.1 m. Internal flights of stairs in a dwelling unit
shall have a minimum clearance width of 0.8 m and a minimum clearance
height of 2.0 m.
 Treads in flights of stairs that are not straight shall have an effective width
equivalent to straight flights of stairs. Along the inside walking line the
treads of curved flights of stairs shall be a minimum of 0.15 m.</p>
          <p>ISO21542</p>
        </sec>
        <sec id="sec-5-1-2">
          <title>Chapter 13.2 Minimum width of stair flights</title>
          <p>The minimum width of a flight of stairs shall be 1 200 mm. The minimum width
between handrails shall be 1 000 mm. Exceptional considerations for existing buildings
in developing countries. In some member states, the minimum width of a flight of</p>
        </sec>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Bouzidi</surname>
            ,
            <given-names>K. R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fies</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Faron-Zucker</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zarli</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Thanh</surname>
            ,
            <given-names>N. L.</given-names>
          </string-name>
          (
          <year>2012</year>
          ).
          <article-title>Semantic web approach to ease regulation compliance checking in construction industry</article-title>
          .
          <source>future internet</source>
          ,
          <volume>4</volume>
          (
          <issue>3</issue>
          ),
          <fpage>830</fpage>
          -
          <lpage>851</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Azhar</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          (
          <year>2011</year>
          ).
          <article-title>Building information modeling (BIM): Trends, benefits, risks, and challenges for the AEC industry. Leadership and</article-title>
          management in engineering,
          <volume>11</volume>
          (
          <issue>3</issue>
          ),
          <fpage>241</fpage>
          -
          <lpage>252</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Zhang</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Teizer</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lee</surname>
            ,
            <given-names>J. K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Eastman</surname>
            ,
            <given-names>C. M.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Venugopal</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          (
          <year>2013</year>
          ).
          <article-title>Building information modeling (BIM) and safety: Automatic safety checking of construction models and schedules</article-title>
          .
          <source>Automation in Construction</source>
          ,
          <volume>29</volume>
          ,
          <fpage>183</fpage>
          -
          <lpage>195</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Declerck</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Buitelaar</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          (
          <year>2012</year>
          ).
          <article-title>Ontologies as a Source for the Automatic Generation of Grammars for Information Extraction Systems</article-title>
          . In SWAIE (pp.
          <fpage>23</fpage>
          -
          <lpage>30</lpage>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Hassanpour</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <given-names>O</given-names>
            <surname>'Connor</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.J.</given-names>
            ,
            <surname>DAS</surname>
          </string-name>
          ,
          <string-name>
            <surname>A.K.</surname>
          </string-name>
          :
          <article-title>A Framework for the Automatic Extraction of Rules from Online Text 01/</article-title>
          <year>2011</year>
          ; DOI:10.1007/978-3-
          <fpage>642</fpage>
          -22546-8_21 In proceeding of:
          <source>Rule-Based Reasoning</source>
          , Programming, and Applications - 5th
          <source>International Symposium</source>
          , RuleML 2011 - Europe, Barcelona, Spain,
          <source>July 19-21</source>
          ,
          <year>2011</year>
          . Proceedings
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Lévy</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Nazarenko</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          (
          <year>2013</year>
          ,
          <article-title>July)</article-title>
          .
          <article-title>Formalization of natural language regulations through SBVR structured english</article-title>
          .
          <source>In International Workshop on Rules and Rule Markup Languages for the Semantic Web</source>
          (pp.
          <fpage>19</fpage>
          -
          <lpage>33</lpage>
          ). Springer Berlin Heidelberg.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Nisbet</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lockley</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Cerny</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Matthews</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          , &amp;
          <string-name>
            <surname>Capper</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          (
          <year>2012</year>
          ).
          <article-title>Rule driven enhancement of BIM models</article-title>
          .
          <source>eWork and eBusiness in Architecture, Engineering and Construction: ECPPM</source>
          <year>2012</year>
          ,
          <volume>297</volume>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>