| ALC中的Tableau算法及其性质 |
| |
| 引用本文： | 段跃兴.ALC中的Tableau算法及其性质[J].计算机应用与软件,2010,27(10). |
| |
| 作者姓名： | 段跃兴 |
| |
| 作者单位： | 太原理工大学理学院计算机基础教学部,山西,太原,030024;东南大学计算机科学与技术学院,江苏,南京,210096 |
| |
| 摘 要： | 描述逻辑是一族知识表示的形式化语言,是一阶谓词逻辑的可判定子集,已成为语义Web的理论基础.描述逻辑中ALC是最小命题封闭的,是其它描述语言的基础,而可判定是描述逻辑的最重要的问题,在ALC中Tableau算法巧妙地解决了这一问题,掌握ALC中的Tableau算法是理解各种描述逻辑中可判定性的基础.对ALC中的Tableau算法进行详细阐述,并对其关键的几个性质: 可终止性、完备性和判定性给出了证明,为研究SHOIN(D)中的Tableau算法及性质奠定了基础.
|
| 关 键 词： | 描述逻辑 Tableau算法 语义Web |
TABLEAU ALGORITHM AND ITS PROPERTIES IN ALC |
| |
| Duan Yuexing.TABLEAU ALGORITHM AND ITS PROPERTIES IN ALC[J].Computer Applications and Software,2010,27(10). |
| |
| Authors: | Duan Yuexing |
| |
| Abstract: | |
| |
| Keywords: | ALC |
| 本文献已被 万方数据 等数据库收录！ |
|
