Kyrie es un sistema de reescritura de consultas que usa una ontología para reescribir una consulta Datalog en otra consulta Datalog que captura el conocimiento de la ontología. La consulta reescrita obtiene extensionalmente de la fuente de datos los resultados (certain answers) que están implicados tanto extensionalmente como intensionalmente por la consulta original.

En el caso de las consultas no recursivas es posible desplegar la consulta Datalog en una unión de consultas conjuntivas, la cual puede ser posteriormente transformada a SQL u otros lenguajes, con otras herramientas como Morph.

Kyrie se inició como una derivación de REQUIEM. Los objetivos para este sistema han sido:

• mejorar los tiempos de reescritura
• producir consultas más cortas cuando sea posible, puesto que deberían suponer una carga computacional menor para los sistemas que aceptan las consultas reescritas
• mantener la lógica expresiva ELHIO para la descripción de la ontología

Estos objetivos han sido satisfechos como puede verse en la evaluación. Las principales publicaciones referentes a este trabajo son las siguientes:

1. Mora, José and Corcho, Óscar. "Engineering optimisations in query rewriting for OBDA" I-SEMANTICS, 2013, 4-6 de septiembre 2013, Graz, Austria.
2. Mora, J. & Corcho, O. (2013). Towards a systematic benchmarking of ontology-based query rewriting systems. The 12th International Semantic Web Conference (ISWC2013) (p./pp. 369--384), 21-26 de octubre 2013, Sydney, Australia.