C-SHOIQ:描述逻辑SHOIQ的云扩展 |
| |
引用本文: | 刘杰,樊孝忠,陈康,林培光.C-SHOIQ:描述逻辑SHOIQ的云扩展[J].华南理工大学学报(自然科学版),2009,37(1). |
| |
作者姓名: | 刘杰 樊孝忠 陈康 林培光 |
| |
作者单位: | 1. 北京理工大学,计算机科学技术学院,北京,100081 2. 山东财政学院,计算机信息工程学院,山东,济南,250014 |
| |
基金项目: | 国家自然科学基金,教育部高等学校博士学科点专项科研基金 |
| |
摘 要: | 鉴于经典描述逻辑不能表达不确定知识,文中将云模型、描述逻辑SHOIQ和模糊逻辑相结合,提出了一种基于云的模糊描述逻辑C-SHOIQ,用于表达不确定知识.首先给出了C-SHOIQ的语法和语义,并以实例分析了C-SHOIQ具有处理知识的随机性和模糊性的能力;然后给出了C-SHOIQ的推理方法及映射C-SHOIQ知识库为经典SHOIQ知识库的改进规则,并论证了C-SHOIQ和对应的经典SHOIQ之间概念可满足性的一致性关系;最后论证C-SHOIQ是对模糊SHOIQ表达能力的扩展.
|
关 键 词: | 语义网 描述逻辑 云模型 语义表示 |
本文献已被 万方数据 等数据库收录! |
|