Aplicación de la Lógica de Predicados para la Realización de Inferencias en Documentos de Pasantía Descritos a Nivel Ontológico

El número de usuarios que en la actualidad se apropia de prácticas de consulta mediante sistemas documentales cada vez es mayor, en este documento se hizo una representación a través de la lógica de predicados, aplicada a una ontología que describe trabajos de grado en modalidad pasantía, con el fin de realizar inferencias que permitan obtener información implícita a partir de las descripciones semánticas de los documentos. Se presentaron algunos componentes de la ontología, su representación en OWL (Ontology Web Language), la notación algebraica de las reglas obtenidas para representar la información mostrada en la ontología y finalmente las inferencias obtenidas. Lo anterior permite que los repositorios puedan ser utilizados por herramientas de software en diferentes instituciones, complementando la información explícita que proporcionan con información implícita pertinente a dirección, evaluación y temáticas de consulta en documentos de pasantía.