Semantic BIM Reasoner for the verification of IFC Models - CSTB - Centre Scientifique et Technique du Bâtiment Access content directly
Conference Papers Year : 2018

Semantic BIM Reasoner for the verification of IFC Models


Recent years have witnessed the development of various techniques and tools for the building code-compliance of IFC models. Indeed these are great efforts, but, still there is a gap for the fully automatic building code-compliance. This paper presents our research and development of Semantic BIM Reasoner (SBIM-Reasoner) which employs semantic technologies to meet the requirements of semantic verification of an IFC model. SBIM-Reasoner employs several preprocessors (IFC to RDF converter, Geometry Extractor) to build the semantic repository from the input IFC model. Once all the triples are generated from the initial data (.ifc file), Stardog is used to build a knowledge graph for the semantic verification. All types of inference and reasoning mechanisms for the semantic verification are applied over this knowledge graph to meet the requirements of verification. Knowledge graph over triplets enables freedom of extending RDF based Semantic IFC model, creation of newer vocabulary and formation of newer rules, concatenation of triplets to build rules with condition and constraints over IFC data, dynamic reasoning over the triplets based on the initial data of IFC model, etc. Finally, we tested our prototype by using several online IFC models. We conclude that semantic technologies provide more rich mechanisms and answer vast types of queries for the verification of IFC models. It provides powerful features based on SPARQL libraries and serves best for the automated code compliance and verification of IFC models.
Fichier principal
Vignette du fichier
ecppm_2018_Semantic BIM Reasoner for the verification of IFC Models.pdf (577.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02270827 , version 1 (26-08-2019)



M. Fahad, Bruno Fies, Nicolas Bus. Semantic BIM Reasoner for the verification of IFC Models. 12th European Conference on Product and Process Modelling (ECPPM 2018), Sep 2018, Copenhagen, Denmark. ⟨10.1201/9780429506215-45⟩. ⟨hal-02270827⟩


242 View
506 Download



Gmail Facebook X LinkedIn More