描述逻辑 SHI 知识库可满足性判定的无切割 ExpTime 表算法
计算机科学中的逻辑
2012-07-17 v2
摘要
我们给出了首个用于判定描述逻辑 SHI 知识库可满足性的无切割 ExpTime（最优）表决策略。SHI 在描述逻辑 ALC 的基础上扩展了传递角色、逆角色和角色层次。
引用
@article{arxiv.1106.2305,
title = {Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI},
author = {Linh Anh Nguyen},
journal= {arXiv preprint arXiv:1106.2305},
year = {2012}
}
备注
a long version of the paper "Linh Anh Nguyen. A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI. In Proceedings of ICCCI'2011, LNAI 6922, pages 572-581, Springer-Verlag, 2011", 27 pages