C-SHOIQ：描述逻辑SHOIQ的云扩展  

C-SHOIQ: a Cloud Extension to Description Logic SHOIQ

作　　者：刘杰[1] 樊孝忠[1] 陈康[1] 林培光[2] 

机构地区：[1]北京理工大学计算机科学技术学院,北京100081 [2]山东财政学院计算机信息工程学院,山东济南250014

出　　处：《华南理工大学学报（自然科学版）》2009年第1期106-112,共7页Journal of South China University of Technology(Natural Science Edition)

基　　金：国家自然科学基金资助项目(60773130);教育部高等学校博士学科点专项科研基金资助项目(20050007023)

摘　　要：鉴于经典描述逻辑不能表达不确定知识,文中将云模型、描述逻辑SHOIQ和模糊逻辑相结合,提出了一种基于云的模糊描述逻辑C-SHOIQ,用于表达不确定知识.首先给出了C-SHOIQ的语法和语义,并以实例分析了C-SHOIQ具有处理知识的随机性和模糊性的能力;然后给出了C-SHOIQ的推理方法及映射C-SHOIQ知识库为经典SHOIQ知识库的改进规则,并论证了C-SHOIQ和对应的经典SHOIQ之间概念可满足性的一致性关系;最后论证C-SHOIQ是对模糊SHOIQ表达能力的扩展.In order to overcome the shortcoming of the classical description logic in the expression of uncertain knowledge, this paper proposes a new cloud-based description logic C-SHOIQ （Cloud-SHOIQ） by combining the description logic SHOIQ with the fuzzy logic. In the investigation, first, the syntax and semantics of C-SHOIQ are presented, and the capability of processing the randomness and fuzziness of knowledge is analyzed by some exampies. Next, the reasoning approach of C-SHOIQ and the improved rules mapping the C-SHOIQ KB （Knowledge Base） to the classical SHOIQ KB are described. Then, the consistency of the satisfiability between C-SHOIQ concepts and corresponding classical SHOIQ concepts is demonstrated. Finally, the extension of expression ability of fuzzy SHOIQ to C-SHOIQ is demonstrated.

关 键 词：语义网 描述逻辑 云模型 语义表示 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]