RuleML-based mechanism of building information models verification

Moscow State University of Civil Engineering, 26, Yaroslavskoye shosse, Moscow, Russia, 129337

^* Corresponding author: makishaev@mgsu.ru

Abstract

The issues of automated verification of design results based on information models have been raised recently by scientists and specialists from different countries, including the Russian Federation. Interoperability of expertise based on information models of objects should be provided using open formats for the presentation and exchange of the data. Each software that performs the functions of information modeling, as a rule, stores the results of the work in files of its proprietary format. IFC allows exchanging information about the geometry, attributes and relationships between the elements of information models of capital construction, that is, provides the transfer of all types of information stored by the information model. The MVD (Model View Definition) format is used to specify the subset of data volume that is used to solve a particular problem. RuleML is a system of families of modeling languages web of rules designed for the purpose of uniform presentation and exchange of the main types of web rules and logic between different platforms. BCF (BIM Collaboration Format) is an open standard maintained and distributed by buildingSMART that allows for various information modeling applications sharing information about issues related to IFC models that were previously shared by project participants.