Ricardo Giuliani Martini: Formal description and automatic generation of learning spaces based on ontologies. University of Minho, Portugal 2018