Query and predicate emptiness in ontology-based data access

被引：0
|
作者：
Baader, Franz [1 ]
Bienvenu, Meghyn [2 ]
Lutz, Carsten [3 ]
Wolter, Frank [4 ]
机构：
[1] TU Dresden, Germany
[2] CNRS, Université de Montpellier and INRIA, France
[3] University of Bremen, Germany
[4] Department of Computer Science, University of Liverpool, United Kingdom
来源：
Journal of Artificial Intelligence Research | 2016年 / 56卷
关键词：
Case based reasoning - Domain Knowledge - Data description - Query processing;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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. ©2016 AI Access Foundation. All rights reserved.
引用
收藏
页码：1 / 59
相关论文
共 50 条
  • [1] Query and Predicate Emptiness in Ontology-Based Data Access
    Baader, Franz
    Bienvenu, Meghyn
    Lutz, Carsten
    Wolter, Frank
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2016, 56 : 1 - 59
  • [2] The price of query rewriting in ontology-based data access
    Gottlob, Georg
    Kikot, Stanislav
    Kontchakov, Roman
    Podolskii, Vladimir
    Schwentick, Thomas
    Zakharyaschev, Michael
    ARTIFICIAL INTELLIGENCE, 2014, 213 : 42 - 59
  • [3] Controlled Query Evaluation in Ontology-Based Data Access
    Cima, Gianluca
    Lembo, Domenico
    Marconi, Lorenzo
    Rosati, Riccardo
    Savo, Domenico Fabio
    SEMANTIC WEB - ISWC 2020, PT I, 2020, 12506 : 128 - 146
  • [4] Query Expressibility and Verification in Ontology-Based Data Access
    Lutz, Carsten
    Marti, Johannes
    Sabellek, Leif
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 389 - 398
  • [5] Query-Based Comparison of Mappings in Ontology-Based Data Access
    Bienvenu, Meghyn
    Rosati, Riccardo
    FIFTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2016, : 197 - 206
  • [6] Inconsistency-tolerant query answering in ontology-based data access
    Lembo, Domenico
    Lenzerini, Maurizio
    Rosati, Riccardo
    Ruzzi, Marco
    Savo, Domenico Fabio
    JOURNAL OF WEB SEMANTICS, 2015, 33 : 3 - 29
  • [7] Ontology-based Data Access
    Rosati, Riccardo
    2015 3RD INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD) AND INTERNATIONAL CONFERENCE ON OPEN AND BIG (OBD), 2015, : XLIII - XLIII
  • [8] Ontology-Based Geospatial Data Query and Integration
    Zhao, Tian
    Zhang, Chuanrong
    Wei, Mingzhen
    Peng, Zhong-Ren
    GEOGRAPHIC INFORMATION SCIENCE, 2008, 5266 : 370 - +
  • [9] Data summarization ontology-based query processing
    Wang, Hai
    Wang, Shouhong
    EXPERT SYSTEMS WITH APPLICATIONS, 2013, 40 (06) : 2109 - 2116
  • [10] Ontology-based data access systems
    M. R. Kogalovsky
    Programming and Computer Software, 2012, 38 : 167 - 182
12345