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

C-SHOIQ: a Cloud Extension to Description Logic SHOIQ

鉴于经典描述逻辑不能表达不确定知识,文中将云模型、描述逻辑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.