On Finite Entailment of Non-Local Queries in Description Logics

被引：0
|
作者：
Gogacz, Tomasz [1 ]
Gutierrez-Basulto, Victor [2 ]
Gutowski, Albert [1 ]
Ibanez-Garcia, Yazmin [2 ]
Murlak, Filip [1 ]
机构：
[1] Univ Warsaw, Warsaw, Poland
[2] Cardiff Univ, Cardiff, Wales
来源：
KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING | 2020年
关键词：
REGULAR PATH QUERIES; COMPLEXITY;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We study the problem of finite entailment of ontology-mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the description logics ALCOI and ALCOQ, extended with transitive closure. For both logics, we show 2EXPTIME upper bounds for finite entailment of unions of conjunctive queries with transitive closure. We also provide a matching lower bound by showing that finite entailment of conjunctive queries with transitive closure in ALC is 2EXPTIME-hard.
引用
收藏
页码：424 / 433
页数：10
相关论文
共 50 条
  • [1] Finite Entailment of Local Queries in the Z Family of Description Logics
    Bednarczyk, Bartosz
    Kieronski, Emanuel
    THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / THE TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 5487 - 5494
  • [2] Scaling description of non-local rheology
    Gueudre, Thomas
    Lin, Jie
    Rosso, Alberto
    Wyart, Matthieu
    SOFT MATTER, 2017, 13 (20) : 3794 - 3801
  • [3] A Rational Entailment for Expressive Description Logics via Description Logic Programs
    Casini, Giovanni
    Straccia, Umberto
    ARTIFICIAL INTELLIGENCE RESEARCH, SACAIR 2021, 2022, 1551 : 177 - 191
  • [4] Non-local formations of finite groups
    Shemetkov, LA
    DOKLADY AKADEMII NAUK BELARUSI, 1995, 39 (04): : 5 - 8
  • [5] Non-local description of nematic liquid crystals
    Alexe-Ionescu, AL
    Barbero, G
    LIQUID CRYSTALS, 1998, 25 (02) : 189 - 197
  • [6] Nested Regular Path Queries in Description Logics
    Bienvenu, Meghyn
    Calvanese, Diego
    Ortiz, Magdalena
    Simkus, Mantas
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 218 - 227
  • [7] Answering conjunctive queries in expressive description logics
    De, La Fuente, Maria Magdalena
    OGAI Journal (Oesterreichische Gesellschaft fuer Artificial Intelligence), 2007, 26 (02): : 4 - 9
  • [8] Non-local Thirring model at finite temperature
    Manias, MV
    Naon, CM
    Trobo, ML
    NUCLEAR PHYSICS B, 1998, 525 (03) : 721 - 737
  • [9] Non-local effects in finite superconducting networks
    Kato, Masaru
    Iwamoto, Yoshiteru
    Sato, Osamu
    PHYSICA C-SUPERCONDUCTIVITY AND ITS APPLICATIONS, 2010, 470 : S797 - S798
  • [10] Non-local description of pollution transport in ransom medium
    Kotulski, Z.
    Sobezyk, K.
    Mathematical Modelling and Scientific Computing, 1993, 1 (1-2):
12345