用于描述逻辑 SHOQ 的具有全局缓存的 ExpTime 表列
计算机科学中的逻辑
2014-07-22 v2
摘要
我们给出了首个用于检查描述逻辑 SHOQ 中知识库可满足性的 ExpTime（复杂度最优）表列判定过程，该逻辑扩展了基本描述逻辑 ALC，增加了传递角色、角色层次、名目 (nominals) 和量化数限制。复杂度是使用数字的一元表示来衡量的。我们的过程基于全局缓存和整数线性可行性检查。
引用
@article{arxiv.1405.7221,
title = {ExpTime Tableaux with Global Caching for the Description Logic SHOQ},
author = {Linh Anh Nguyen and Joanna Golińska-Pilarek},
journal= {arXiv preprint arXiv:1405.7221},
year = {2014}
}
备注
arXiv admin note: substantial text overlap with arXiv:1205.5838