OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Graph-based ontology reasoning for formal verification of BREEAM rules

Kamsu-Foguem, Bernard and Abanda, Fonbeyin Henry and Doumbouya, Mamadou Bilo and Tchouanguem Djuedja, Justine Flore Graph-based ontology reasoning for formal verification of BREEAM rules. (2018) Ecological Informatics, 55. 14-33. ISSN 1574-9541

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
3MB

Official URL: https://doi.org/10.1016/j.cogsys.2018.12.011

Abstract

Globally, the need to check regulation compliance for sustainability has become central in the delivery of construction projects. This is partly due to policies by various governments requiring existing and new buildings to comply with certain standards or regulations. However, the verification of whether a building complies with any particular standard or regulation has proven challenging in practice. The purpose of formal verification is to prove that under a certain set of assumptions, a building will adhere to a certain set of requirements, for example the minimum performance standards of key environmental issues. Compliance checking requires different criteria often difficult to straightforwardly define and combine in an integrated fashion for providing holistic interpretation to facilitate easy decision-making. Such criteria, their various flows and combinations can easily be dealt with using conceptual graph theories and Semantic Web concepts which allow rules to be imbued to facilitate reasoning. The aim of this study is to tap on conceptual graphs and Semantic Web concepts to develop a system for checking Building Research Establishment Environmental Assessment Methodology (BREEAM) sustainability standard compliance in the French construction industry. A conceptual graph-based framework that formally describes BREEAM requirements and visually analyse compliance checking processes has been proposed. When implemented in a software that integrates conceptual graphs and Semantic Web knowledge, automatic reasoning allows both the logical specification and the visual interpretation to be displayed and further provides a semantic support for compliance checking information.

Item Type:Article
HAL Id:hal-02134720
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Oxford Brookes University (UNITED KINGDOM)
Laboratory name:
Funders:
Oxford Brookes University - (UNITED KINGDOM) - Ecole Nationale d’Ingénieurs de Tarbes - ENIT (FRANCE) - Institut national polytechnique de Toulouse - Toulouse INP (FRANCE) - Université Fédérale Toulouse Midi-Pyrénées - (FRANCE)
Statistics:download
Deposited On:26 Apr 2019 08:52

Repository Staff Only: item control page