Semantic correction, enrichment and enhancement of social and transport infrastructure BIM models. - Nicholas Nisbet; Zijing Zhang; Ling Ma 003; Weiwei Chen 005; Mustafa Selçuk Çidik (Adv. Eng. Informatics, 2024)