| 基于描述逻辑的推理系统设计与实现 |
| |
| 引用本文： | 文坤梅,卢正鼎,吴杰文,李瑞轩,孙小林. 基于描述逻辑的推理系统设计与实现[J]. 小型微型计算机系统, 2008, 29(1): 57-60 |
| |
| 作者姓名： | 文坤梅 卢正鼎 吴杰文 李瑞轩 孙小林 |
| |
| 作者单位： | 华中科技大学,计算机科学与技术学院,湖北,武汉,430074 |
| |
| 基金项目： | 国家自然科学基金 , 湖北省自然科学基金 , 国家重点实验室基金 |
| |
| 摘 要： | 语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力.
|
| 文章编号： | 1000-1220（2008）01-0057-04 |
| 收稿时间： | 2006-09-06 |
| 修稿时间： | 2006-09-06 |
Design and Implementation of Reasoning System Based on Description Logic |
| |
| WEN Kun-mei,LU Zheng-ding,WU Jie-wen,LI Rui-xuan,SUN Xiao-lin. Design and Implementation of Reasoning System Based on Description Logic[J]. Mini-micro Systems, 2008, 29(1): 57-60 |
| |
| Authors: | WEN Kun-mei LU Zheng-ding WU Jie-wen LI Rui-xuan SUN Xiao-lin |
| |
| Affiliation: | WEN Kun-mei,LU Zheng-ding,WU Jie-wen,LI Rui-xuan,SUN Xiao-lin(School of Computer Science , Technology,Huazhong University of Science , Technology,Wuhan 430074,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
