Dbowla novel approach to scalable owl reasoning

  1. Roldán García, María del Mar
Supervised by:
  1. José Francisco Aldana Montes Director

Defence university: Universidad de Málaga

Fecha de defensa: 19 November 2012

Committee:
  1. Ernesto Pimentel Sánchez Chair
  2. Eduardo Mena Nieto Secretary
  3. Oscar Corcho García Committee member
  4. Theodoros Dalamagas Committee member
  5. Arantza Illarramendi Echave Committee member

Type: Thesis

Teseo: 334234 DIALNET

Abstract

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.