A Semantic and Rule Based Technique and Inference Engine for Discovering Real Estate Units in Building Information Models | IEEE Conference Publication | IEEE Xplore