Dbowla novel approach to scalable owl reasoning

Laburpena

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.