A Semantic and Rule Based Technique and Inference Engine for Discovering Real Estate Units in Building Information Models. - Beniamino Di Martino; Claudio Mirarchi; Fedele Federico D'Abrunzo; Luigi Fiorillo; Nicola Iovine; Caterina Trebbi; Alberto Pavan (AIKE, 2019)