描述逻辑中非局部查询的有限蕴涵问题
人工智能
2020-07-01 v1 数据库
摘要
我们研究本体介导查询的有限蕴涵问题。在局部查询之外，我们允许对角色取传递闭包。我们关注在描述逻辑ALCOI和ALCOQ中表述、并扩展以传递闭包的本体。对两种逻辑，我们给出了带传递闭包的合取查询之并的有限蕴涵的2EXPTIME上界。我们还通过证明ALC中带传递闭包的合取查询的有限蕴涵是2EXPTIME难的，给出了匹配的下界。
引用
@article{arxiv.2006.16869,
title = {On Finite Entailment of Non-Local Queries in Description Logics},
author = {Tomasz Gogacz and Víctor Gutiérrez-Basulto and Albert Gutowski and Yazmín Ibáñez-García and Filip Murlak},
journal= {arXiv preprint arXiv:2006.16869},
year = {2020}
}
备注
25 pages, 4 Figures, Accepted at KR 2020