Semantic Enrichment for Building Information Modeling: Procedure for Compiling Inference Rules and Operators for Complex Geometry. - Rafael Sacks; Ling Ma 003; Raz Yosef; André Borrmann; Simon Daum; Uri Kattel (J. Comput. Civ. Eng., 2017)