Query and Predicate Emptiness in Ontology-Based Data Access

Franz Baader 1 Meghyn Bienvenu 2 Carsten Lutz 3 Frank Wolter 4
2 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
Abstract : In ontology-based data access (OBDA), database querying is enriched with an ontology that provides domain knowledge and additional vocabulary for query formulation. We identify query emptiness and predicate emptiness as two central reasoning services in this context. Query emptiness asks whether a given query has an empty answer over all databases formulated in a given vocabulary. Predicate emptiness is defined analogously, but quantifies universally over all queries that contain a given predicate. In this paper, we determine the computational complexity of query emptiness and predicate emptiness in the EL, DL-Lite, and ALC-families of description logics, investigate the connection to ontology modules, and perform a practical case study to evaluate the new reasoning services.
Type de document :
Article dans une revue
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 56, pp.1-59. 〈http://jair.org/vol/vol56.html〉. 〈10.1613/jair.4866〉
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01367867
Contributeur : Meghyn Bienvenu <>
Soumis le : vendredi 16 septembre 2016 - 20:01:59
Dernière modification le : lundi 15 janvier 2018 - 11:43:26
Document(s) archivé(s) le : samedi 17 décembre 2016 - 14:10:13

Fichier

BaaBieLutWol-JAIR16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. Query and Predicate Emptiness in Ontology-Based Data Access. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 56, pp.1-59. 〈http://jair.org/vol/vol56.html〉. 〈10.1613/jair.4866〉. 〈lirmm-01367867〉

Partager

Métriques

Consultations de la notice

80

Téléchargements de fichiers

153