Automated formalization and verification of building code requirements using knowledge graph construction
This study develops and evaluates a methodology for automated formalization and verification of building code requirements using ontology-based knowledge graphs aligned with building information modeling (BIM) data, with the goal of producing executable, traceable, and audit-ready compliance outcomes. A phas...