基于全局状态缓存和整数线性可行性检查的描述逻辑SHIQ的ExpTime Tableau算法
计算机科学中的逻辑
2014-01-03 v4
摘要
我们给出了第一个ExpTime（复杂度最优）tableau决策过程，用于在数字以一元编码时检查描述逻辑SHIQ中知识库的可满足性。我们的过程基于全局状态缓存和整数线性可行性检查。
引用
@article{arxiv.1205.5838,
title = {ExpTime Tableaux for the Description Logic SHIQ Based on Global State Caching and Integer Linear Feasibility Checking},
author = {Linh Anh Nguyen},
journal= {arXiv preprint arXiv:1205.5838},
year = {2014}
}