Digital library of construction informatics
and information technology in civil engineering and construction


Paper w78-2010-54:
Exploring Semantic Based Model Checking

Facilitated by the SciX project

Eilif Hjelseth, Nick Nisbet

Exploring Semantic Based Model Checking

Abstract:This paper is exploring the foundation of semantic based model checking concepts. Development of computable rules in a pure semantic based concept is characterized by “soft coding” by following a pre-defined system (mark-up) methodology for linguistic (text and numbers) analyze, organization, execution and reporting. The software programming of this can be done automatic or semi-automatic based on predefined procedures. This enables an AEC skilled person to develop applicable rules without support of programmers. The rules can be applied on then semantic content BIM file in e.g. IFC format.Whether it is possible to develop a valid and reliable system applicable to rule sources (laws, codes, standards) depends on testing two key hypothesis:The use perspective is basis for the first hypothesis: Can a pre-defined semantic system or toolset be used (by an AEC skilled person, not software programmer) on the variation of how rule sources are expressed. The answer on this is based on the constraints of the systems. Negative experiences by Artificial Intelligence based on natural language and the ambiguity in the language itself (Sowa, 2000 and 2006) indicates that there is not a straight forward procedure. Introduction of prerequisite and constraints indicate that trustworthy results are possible (Hjelseth, 2009 and Bell, Bjørkhaug and Hjelseth, 2009). Whether this will result in too limited area of application is discussed. The ISO/DIS 21542 standard for accessibility and usability will be used as case.The second hypothesis is: A system for automatic, or semi-automatic, generating of applicable rule sets for software implementation can be developed. This must rely on the applicability link predefine commands to adjacent actions for the semantic analyses. Limitations and possibilities will be in focus.A thorough perspective will be about challenges above are related to ICT-systems or the complexity of the semantic of world itself.References: Bell, Bjørkhaug and Hjelseth, 2009. Standardized computable rules. Pilot study of methods for development of computable rules Project at Standards Norway, http://www.standard.no/en/Sectors/Bygg-og-anlegg/Digital-byggeprosess/ISO-BIM-standards/Computable-rule-project/ (Visited: 2010-04-01). ISO/DIS 21542 Building Construction, Accessibility and usability of the built environmentISO standard under development of ISO committee TC 59/SC 16 http://www.iso.org/iso/standards_development/technical_committees/list_of_iso_technical_committees/iso_technical_committee.htm?commid=291991 (Visited: 2010-04-01). Hjelseth, E. 2009. Foundation for development of computable rules. Presented at CIB-W78, Turkey, Istanbul, Oct. 1-3th 2009. http://www.optima.no/BIM/PhD_Eilif_Hjelseth/Eilif_Hjelseth_UMB-Norway_Paper_73_CIB-W78_2009.pdf (Visited: 2010-04-01).Sowa, J. F. 2000. Knowledge representation: Logical, Philosophical and Computational foundations, Thomson Learning. ISBN 0 534-94965-7

Keywords:Model checking, semantic, BIM, IFC

Full text:content.pdf (199,557 bytes) (available to registered users only)

Series:w78:2010 (browse)
Similar papers:


hosted by University of Ljubljana



© itc.scix.net 2003
Home page of this database login Powered by SciX Open Publishing Services 1.002 February 16, 2003