Ontology-Mediated Query Answering for Key-Value Stores

Meghyn Bienvenu 1 Pierre Bourhis 2 Marie-Laure Mugnier 1 Sophie Tison 3 Federico Ulliana 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
2 LINKS - Linking Dynamic Data
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
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 : ontology
Type de document :
Communication dans un congrès
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. 26th International Joint Conference on Artificial Intelligence, 2017, 〈https://ijcai-17.org〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01632090
Contributeur : Marie-Laure Mugnier <>
Soumis le : jeudi 9 novembre 2017 - 18:39:34
Dernière modification le : vendredi 17 novembre 2017 - 08:50:20

Fichier

main-OQAKV.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01632090, version 1

Citation

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. 26th International Joint Conference on Artificial Intelligence, 2017, 〈https://ijcai-17.org〉. 〈lirmm-01632090〉

Partager

Métriques

Consultations de
la notice

27

Téléchargements du document

3