Query and Predicate Emptiness in Ontology-Based Data Access - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Journal Articles Journal of Artificial Intelligence Research Year : 2016

Query and Predicate Emptiness in Ontology-Based Data Access

Franz Baader
  • Function : Author
  • PersonId : 989053
Meghyn Bienvenu
Frank Wolter
  • Function : Author
  • PersonId : 989054

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.
Fichier principal
Vignette du fichier
BaaBieLutWol-JAIR16.pdf (945.82 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

lirmm-01367867 , version 1 (16-09-2016)

Identifiers

Cite

Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter. Query and Predicate Emptiness in Ontology-Based Data Access. Journal of Artificial Intelligence Research, 2016, 56, pp.1-59. ⟨10.1613/jair.4866⟩. ⟨lirmm-01367867⟩
128 View
302 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More