具有传递角色的表达型描述逻辑中的有限查询应答
人工智能
2018-08-10 v1
摘要
我们研究有限本体介导查询应答（FOMQA）问题，这是 OMQA 的一种变体，其中所表示的世界被假定为有限的，因此只考虑本体的有限模型。我们采用最典型的设定：合取查询的并以及用描述逻辑（DLs）表达的本体。FOMQA 的研究在不可有限控制的情形下是相关的。这不仅适用于没有有限模型性质的描述逻辑，也适用于允许传递角色声明的那些。当允许传递角色时，查询求值具有挑战性：FOMQA 对于 SHOIF 是不可判定的，且仅已知对于 ALCIF 的 Horn 片段是可判定的。我们展示 FOMQA 对于 SOIF 的三个真片段 SOI、SOF 和 SIF 的可判定性。我们的方法是刻画与判定有限查询蕴涵相关的模型。依赖于这些模型的某种正则性，我们开发了具有最优复杂度界的基于自动机的判定过程。
引用
@article{arxiv.1808.03130,
title = {Finite Query Answering in Expressive Description Logics with Transitive Roles},
author = {Tomasz Gogacz and Yazmin Ibáñez-García and Filip Murlak},
journal= {arXiv preprint arXiv:1808.03130},
year = {2018}
}