Text this: Aplicación de la lógica de predicados para la realización de inferencias en documentos de pasantía descritos a nivel ontológico