表达型描述逻辑的实用推理
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
描述逻辑 (DL) 是一族以构建复杂概念和角色的原子概念由原子概念和角色构成的构造函数为主要特征的知识表示规范。表达型角色构造函数在许多应用中都很重要，但可能带来计算上的问题。我们提出了一个决定 ALC 扩展描述逻辑中可满足性算法，该扩展包括传递角色、逆向角色、角色层次结构以及限定数字限制。初步实验表明，该算法适合实现。此外，我们表明仅扩展传递和逆向角色的 ALC 仍属 PSPACE 完成。最后，我们研究了该 DL 族可判定性的极限。
引用
@article{arxiv.cs/0005014,
title = {Practical Reasoning for Expressive Description Logics},
author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
journal= {arXiv preprint arXiv:cs/0005014},
year = {2007}
}
备注
This paper appeared in the Proceedings of LPAR'99