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