描述逻辑 $\mathcal{ALCQI}$ 的 ExpTime 判定过程（草稿）
计算机科学中的逻辑
2007-05-23 v3
摘要
本文概述了基于 tableaux 的最坏情况 ExpTime 判定过程，用于求解 相对于一般公理的可满足性问题。
关键词
引用
@article{arxiv.cs/0703051,
title = {An ExpTime Procedure for Description Logic $\mathcal{ALCQI}$ (Draft)},
author = {Yu Ding},
journal= {arXiv preprint arXiv:cs/0703051},
year = {2007}
}
备注
This paper is submitted in 2007