Ontology-Mediated Query Answering for Key-Value Stores - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2017

Ontology-Mediated Query Answering for Key-Value Stores

Meghyn Bienvenu
Pierre Bourhis
Federico Ulliana

Abstract

We propose a novel rule-based ontology language for JSON records and investigate its computational properties. After providing a natural translation into first-order logic, we identify relationships to existing ontology languages , which yield decidability of query answering but only rough complexity bounds. By establishing an interesting and non-trivial connection to word rewriting, we are able to pinpoint the exact combined complexity of query answering in our framework and obtain tractability results for data complexity. The upper bounds are proven using a query reformu-lation technique, which can be implemented on top of key-value stores, thereby exploiting their querying facilities.

Keywords

Fichier principal
Vignette du fichier
main-OQAKV.pdf (304.56 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

lirmm-01632090 , version 1 (09-11-2017)

Identifiers

  • HAL Id : lirmm-01632090 , version 1

Cite

Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana. Ontology-Mediated Query Answering for Key-Value Stores. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. ⟨lirmm-01632090⟩
321 View
253 Download

Share

More