角色组合在数限制描述逻辑中的可判定性
计算机科学中的逻辑
2007-05-23 v1
摘要
描述逻辑是一种已被广泛应用于各种应用领域的知识表示形式化语言。由于其出色的表达能力，我们在本文中考虑了著名概念语言ALC的扩展，允许在复杂角色表达式上施加数限制。这些最初由Baader和Sattler引入作为ALCN(M)语言，其中采用了角色构造函数M子集为{o, -, And, Or}。特别是，他们在1999年指出，尽管ALCN(o)是可判定的，但添加其他运算符可能会轻易导致不可判定性：事实上，ALCN(o,And)和ALCN(o,-,Or)被证明是不可判定的。本文进一步调查了ALCN系列的计算属性，旨在缩小Baader和Sattler结果所留下的可判定性鸿沟。特别是，我们将证明ALCN(o)扩展了逆角色既在数限制中也在值限制中变得不可判定，而且可以在不失去可判定性的情况下安全地扩展带有合格数限制的ALCN(o)。
引用
@article{arxiv.cs/0308029,
title = {On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions},
author = {Fabio Grandi},
journal= {arXiv preprint arXiv:cs/0308029},
year = {2007}
}
备注
A preliminary version of this paper appeared in Proc. of the 9th Intl' Conf. on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2002