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

摘要：

鉴于经典描述逻辑不能表达不确定知识,文中将云模型、描述逻辑SHOIQ和模糊逻辑相结合,提出了一种基于云的模糊描述逻辑C-SHOIQ,用于表达不确定知识.首先给出了C-SHOIQ的语法和语义,并以实例分析了C-SHOIQ具有处理知识的随机性和模糊性的能力;然后给出了C-SHOIQ的推理方法及映射C-SHOIQ知识库为经典SHOIQ知识库的改进规则,并论证了C-SHOIQ和对应的经典SHOIQ之间概念可满足性的一致性关系;最后论证C-SHOIQ是对模糊SHOIQ表达能力的扩展.

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

所属期刊栏目：37

分类号：TP391(计算技术、计算机技术)

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

在线出版日期：2009-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：106-112