A. Castro et al.,  "BIM ontologies", in Formal methods in architecture and urbanism, David Leite Viana, Franklim Morais, Jorge Vieira Vaz, Ed., Newcastle upon Tyne, Cambridge Scholars Publishing, 2018, pp. 29-44