| 从ALC到SHOQ（D）：描述逻辑及其Tableau算法 |
| |
| 引用本文： | 梅靖 林作铨. 从ALC到SHOQ（D）：描述逻辑及其Tableau算法[J]. 计算机科学, 2005, 32(3): 1-11 |
| |
| 作者姓名： | 梅靖 林作铨 |
| |
| 作者单位： | 北京大学信息科学系,北京,100871 |
| |
| 摘 要： | 描述逻辑是一类知识表示的形式系统，并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论，基于Tableau的算法提供7描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)描述逻辑基础及其相应的Tableau算法。
|
| 关 键 词： | ALC 描述逻辑 Tableau算法 语义Web 知识表示 |
From ALC to SHOQ(D): A Survey of Tableau Algorithms for Description Logics |
| |
| MEI Jing,LIN Zuo-Quan. From ALC to SHOQ(D): A Survey of Tableau Algorithms for Description Logics[J]. Computer Science, 2005, 32(3): 1-11 |
| |
| Authors: | MEI Jing LIN Zuo-Quan |
| |
| Affiliation: | MEI Jing,LIN Zuo-Quan Information Science Department,Peking University,Beijing 100871 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
