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 条

[41] Answering queries using views over description logics knowledge bases
Calvanese, D
De Giacomo, G
Lenzerini, M
SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 386 - 391
[42] Reduced Non-Local Integrable NLS Hierarchies by Pairs of Local and Non-Local Constraints
Wen-Xiu Ma
International Journal of Applied and Computational Mathematics, 2022, 8 (4)
[43] Robust Texture Description Using Local Grouped Order Pattern and Non-Local Binary Pattern
Song, Tiecheng
Feng, Jie
Luo, Lin
Gao, Chenqiang
Li, Hongliang
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, 2021, 31 (01) : 189 - 202
[44] NON-LOCAL FIELDS
FIERZ, M
PHYSICAL REVIEW, 1950, 78 (02): : 184 - 184
[45] The finite element method for the mechanically based model of non-local continuum
Zingales, M.
Di Paola, M.
Inzerillo, G.
INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 2011, 86 (13) : 1558 - 1576
[46] Non-local spatially varying finite mixture models for image segmentation
Javier Juan-Albarracín
Elies Fuster-Garcia
Alfons Juan
Juan M. García-Gómez
Statistics and Computing, 2021, 31
[47] Non-local spatially varying finite mixture models for image segmentation
Juan-Albarracin, Javier
Fuster-Garcia, Elies
Juan, Alfons
Garcia-Gomez, Juan M.
STATISTICS AND COMPUTING, 2021, 31 (01)
[48] The construction of a model of the growth of a defect for finite strains: Non-local criteria
Levin, V. A.
PMM JOURNAL OF APPLIED MATHEMATICS AND MECHANICS, 2008, 72 (03): : 306 - 311
[49] The non-local oscillator
Maccari, A
NUOVO CIMENTO DELLA SOCIETA ITALIANA DI FISICA B-GENERAL PHYSICS RELATIVITY ASTRONOMY AND MATHEMATICAL PHYSICS AND METHODS, 1996, 111 (08): : 917 - 930
[50] Strongly non-local gradient-enhanced finite strain elastoplasticity
Geers, MGD
Ubachs, RLJM
Engelen, RAB
INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 2003, 56 (14) : 2039 - 2068

← 1 2 3 4 5 →