Query and Predicate Emptiness in Ontology-Based Data Access

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

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.

Details

Original languageEnglish
Pages (from-to)1 - 59
Number of pages59
JournalJournal of Artificial Intelligence Research
Volume56
Publication statusPublished - 2016
Peer-reviewedYes

External IDs

Scopus 84975282564
ORCID /0000-0002-4049-221X/work/142247911

Keywords

Library keywords