A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic EL

被引：0
|
作者：
Lutz, Carsten [1 ]
Sabellek, Leif [2 ]
机构：
[1] Institute of Computer Science, University of Leipzig, Germany
[2] Department of Computer Science, University of Bremen, Germany
来源：
Artificial Intelligence | 2022年 / 308卷
关键词：
All Open Access; Green;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
55
引用
收藏
相关论文
共 50 条
  • [1] A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic eL
    Lutz, Carsten
    Sabellek, Leif
    [J]. ARTIFICIAL INTELLIGENCE, 2022, 308
  • [2] Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability
    Lutz, Carsten
    Sabellek, Leif
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1181 - 1187
  • [3] A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom
    Gerasimova, Olga
    Kikot, Stanislav
    Kurucz, Agi
    Podolskii, Vladimir
    Zakharyaschev, Michael
    [J]. KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 403 - 413
  • [4] Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics
    Ryzhikov, Vladislav
    Walega, Przemyslaw Andrzej
    Zakharyaschev, Michael
    [J]. PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 1851 - 1857
  • [5] First-order rewritability of ontology-mediated queries in linear temporal logic
    Artale, Alessandro
    Kontchakov, Roman
    Kovtunova, Alisa
    Ryzhikov, Vladislav
    Wolter, Frank
    Zakharyaschev, Michael
    [J]. Artificial Intelligence, 2021, 299
  • [6] First-order rewritability of ontology-mediated queries in linear temporal logic
    Artale, Alessandro
    Kontchakov, Roman
    Kovtunova, Alisa
    Ryzhikov, Vladislav
    Wolter, Frank
    Zakharyaschev, Michael
    [J]. ARTIFICIAL INTELLIGENCE, 2021, 299
  • [7] First-Order Rewritability of Temporal Ontology-Mediated Queries
    Artale, A.
    Kontchakov, R.
    Kovtunova, A.
    Ryzhikov, V
    Wolter, F.
    Zakharyaschev, M.
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2706 - 2712
  • [8] First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
    Artale, Alessandro
    Kontchakov, Roman
    Kovtunova, Alisa
    Ryzhikov, Vladislav
    Wolter, Frank
    Zakharyaschev, Michael
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2022, 75 : 1223 - 1291
  • [9] Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic
    Kurucz, Agi
    Ryzhikov, Vladislav
    Savateev, Yury
    Zakharyaschev, Michael
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2023, 76 : 645 - 703
  • [10] Deciding FO-rewritability of Regular Languages and Ontology-mediated Queries in Linear Temporal Logic
    Kurucz, Agi
    Ryzhikov, Vladislav
    Savateev, Yury
    Zakharyaschev, Michael
    [J]. Journal of Artificial Intelligence Research, 2023, 76 : 645 - 703
12345