Enviar por SMS: Formal description and automatic generation of learning spaces based on ontologies