非常表达型描述逻辑的实用推理
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
描述逻辑 (DL) 是一族以构建复杂概念和角色的原子概念由原子概念和角色构成的构造函数为主要特征的知识表示规范。表达型角色构造函数在许多应用中都很重要，但可能带来计算上的问题。我们提出了一个决定 ALC 扩展描述逻辑中可满足性算法，该扩展包括传递角色、逆向角色以及关于一般概念包含公理和角色层次结构下的功能限制。初步实验表明，该算法适合实现。此外，我们表明仅扩展传递和逆向角色的 ALC 仍属 PSPACE 完成。我们研究了该 DL 族可判定性的极限，表明如果放宽数字限制中所用角色种类的约束，所有推理问题都会导致不可判定。最后，我们描述了一些在获取决策程序实现中至关重要的优化技术，尽管问题的最坏情况复杂度较高，但这些实现在实际问题上表现良好。
引用
@article{arxiv.cs/0005013,
title = {Practical Reasoning for Very Expressive Description Logics},
author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
journal= {arXiv preprint arXiv:cs/0005013},
year = {2007}
}