Building Information Modeling and real world knowledge: A methodological approach to accurate semantic documentation for the built environment | IEEE Conference Publication | IEEE Xplore