在 SQ 本体上回答正则路径查询
计算机科学中的逻辑
2020-11-18 v1 人工智能
摘要
我们研究描述逻辑 中的查询回答问题,该逻辑支持对传递与非传递角色上的限定数量限制。我们的主要贡献是 知识库的树状模型性质,并基于此提出一种基于自动机的最优算法,用于在 2ExpTime 内回答正存在正则路径查询。
引用
@article{arxiv.2011.08816,
title = {Answering Regular Path Queries Over SQ Ontologies},
author = {Víctor Gutiérrez-Basulto and Yazmín Ibáñez-García and Jean Christoph Jung},
journal= {arXiv preprint arXiv:2011.08816},
year = {2020}
}
备注
Full Version of AAAI'18 paper