ALC 本体上 UCRPQ 的有限蕴涵
计算机科学中的逻辑
2022-05-09 v2 人工智能
数据库
摘要
我们研究本体中介查询的有限蕴涵问题。我们考虑富有表达力的查询语言——并集合取正则路径查询（UCRPQs），它将众所周知的并集合取查询类用角色上的正则表达式进行扩展。我们考察使用描述逻辑 ALC 表述的本体，并给出 UCRPQs 蕴涵的紧 2EXPTIME 上界。在我们的判定过程核心处，是一种新颖的基于自动机的技术，引入了由输入 UCRPQ 底层的确定性有限自动机所诱导的释义分层。
引用
@article{arxiv.2204.14261,
title = {Finite Entailment of UCRPQs over ALC Ontologies},
author = {Vıctor Gutiérrez-Basulto and Albert Gutowski and Yazmın Ibáñez-Garcıa and Filip Murlak},
journal= {arXiv preprint arXiv:2204.14261},
year = {2022}
}
备注
Paper accepted to KR2022