Dbowla novel approach to scalable owl reasoning

  1. Roldán García, María del Mar
Dirigida por:
  1. José Francisco Aldana Montes Director/a

Universidad de defensa: Universidad de Málaga

Fecha de defensa: 19 de noviembre de 2012

Tribunal:
  1. Ernesto Pimentel Sánchez Presidente/a
  2. Eduardo Mena Nieto Secretario/a
  3. Oscar Corcho García Vocal
  4. Theodoros Dalamagas Vocal
  5. Arantza Illarramendi Echave Vocal

Tipo: Tesis

Teseo: 334234 DIALNET

Resumen

Esta tesis presenta DBOWL, un razonador escalable para ontologías OWL con grandes Aboxes (billones de instancias). DBOWL utiliza tecnología de bases de datos relacionales para almacenar las ontologías y para clasificar instancias en Clases Nombradas y Propiedades. Para computar el cierre de la ontología (Knwoledge base creation) DBOWL combina expresiones del álgebra relacional con iteraciones de punto fijo. También en el contexto de esta Tesis hemos definido el lenguaje de consultas ECQ (Extended Conjunctive Queries). ECQ es un lenguaje de consultas para OWL simple pero muy potente, que es más fácil de usar para los investigadores en Lógica de Descripciones que SPARQL. Ademmás, hemos demostrado la completitud y correctitud de nuestra propuesta tanto teóricamente como prácticamente utilizando el Benchmark UOBM y el Framework SyGENiA. Hasta donde llega nuestro conocimiento, DBOWL es el único razonador que es capaz de responder correctamente todas las consultas de UOBM. En http://khaos.uma.es/dbowl puede encontrarse una página web, una demo y un servicio Web para probar DBOWL.