Resumen de Un modelo terminológico para el problema de recuperación de datos

Álvaro Barreiro García , Raúl Ramos, Pedro Cabalar

• Este trabajo presenta una formalización basada en Lógicas Descripcionales del modelo de descubrimiento de recursos más comunmente utilizado en Internet. Las Lógicas Descripcionales son básicamente un subconjunto de la lógica de predicados en donde la expresividad y complejidad computacional han sido exhaustivamente estudiadas. Por otro lado los mecanismos de descubrimiento de recursos son utilizados para publicar y recoger información acerca de los recursos disponibles a través de la red. Nuestro enfoque pretende mostrar una aproximación formal con vistas a enriquecer la semántica de los mecanismos de descubrimiento de recursos y ampliar los campos de aplicación de las Lógicas Descripcionales.