基于描述逻辑的推理系统设计与实现  

Design and Implementation of Reasoning System Based on Description Logic

作　　者：文坤梅[1] 卢正鼎[1] 吴杰文[1] 李瑞轩[1] 孙小林[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,湖北武汉430074

出　　处：《小型微型计算机系统》2008年第1期57-60,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60403027)资助;湖北省自然科学基金项目(2005ABA258)资助;软件工程国家重点实验室开放基金项目(SKLSE05-07)资助

摘　　要：语义Web的出现使得描述逻辑成为近期的研究热点,作为本体描述语言的基础,描述逻辑具有较强的表达能力.设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力.The appearance of Semantic Web makes Description Logic （DL） a hot research point. As the base of ontology description language, DL has a good expression capability. The reasoning system is designed and implemented based on tableaux algorithm of DL, The experiment shows that the system can perform basic ontology reasoning, TBox and ABox reasoning function. It also can be imbedded in the real application systems of Semantic Web to reduce the manual work and partly improve the understanding capability for the computer.

关 键 词：语义WEB 描述逻辑 Tableaux算法 推理系统 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]