ALC 本体的查询不可区分性
人工智能
2019-02-04 v1
摘要
我们研究两个 ALC 本体是否在给定签名下通过查询不可区分（或不可分离）的问题，这对于本体版本控制、模块化、更新和遗忘等本体工程任务至关重要。我们考虑知识库（KB）和 TBox 不可区分性。对于知识库，我们给出基于（有限偏）同态与积的模型论判据，并证明该问题对于合取查询（CQs）是不可判定的，而对于合取查询的并集（UCQs）是 2ExpTime 完全的。若以根化（U）CQs（其中每个变量都连接到答案变量）替代（U）CQs，结果同样成立。我们还表明，若一个知识库以轻量级描述逻辑 EL 给出且对 CQs 的签名不加限制，则通过 CQs 的不可区分性仍是不可判定的。我们还考虑两个 ALC TBox 在给定签名下对任意 ABox 的任何查询给出相同答案的问题，并证明对于 CQs 该问题同样不可判定。随后我们为 Horn-ALC TBox 建立模型论判据，并利用树自动机证明相反地，不可区分性变为可判定且 2ExpTime 完全，当限制于（根化 CQs 的）并集时甚至为 ExpTime 完全。
引用
@article{arxiv.1902.00014,
title = {Query Inseparability for ALC Ontologies},
author = {Elena Botoeva and Carsten Lutz and Vladislav Ryzhikov and Frank Wolter and Michael Zakharyaschev},
journal= {arXiv preprint arXiv:1902.00014},
year = {2019}
}
备注
arXiv admin note: text overlap with arXiv:1604.04164