Architectural Heritage through HBIM and Ontologies: A formal analysis of Sant’Andrea Fortress Portal in Venice - Pettineo, A.; Parrinello, S. (Int. Arch. Photogramm. Remote Sens. Spatial Inf. Sci., 2025)