Dbowla novel approach to scalable owl reasoning
- Roldán García, María del Mar
- José Francisco Aldana Montes Director
Defence university: Universidad de Málaga
Fecha de defensa: 19 November 2012
- Ernesto Pimentel Sánchez Chair
- Eduardo Mena Nieto Secretary
- Oscar Corcho García Committee member
- Theodoros Dalamagas Committee member
- Arantza Illarramendi Echave Committee member
Type: Thesis
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.