A data mining based methodology for the multidimensional study of public open spaces - Lopes, J. V. (Formal methods in architecture and urbanism, 2018)