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

华南理工大学学报（自然科学版） ›› 2009, Vol. 37 ›› Issue (1): 106-112.

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

刘杰¹樊孝忠¹陈康¹林培光²

1. 北京理工大学计算机科学技术学院, 北京 100081; 2. 山东财政学院计算机信息工程学院, 山东济南 250014

收稿日期:2007-12-29 修回日期:2008-03-28 出版日期:2009-01-25 发布日期:2009-01-25
通信作者: 刘杰（1970-），男，在职博士生，首都师范大学讲师，主要从事自然语言处理研究． E-mail:liujxxxy@126．com
作者简介:刘杰（1970-），男，在职博士生，首都师范大学讲师，主要从事自然语言处理研究．
基金资助:
国家自然科学基金资助项目（60773130）;教育部高等学校博士学科点专项科研基金资助项目（20050007023）

C-SHOIQ： a Cloud Extension to Description Logic SHOIQ

Liu Jie¹ Fan Xiao-zhong¹ Chen Kang¹ Lin Pei-guang²

1. School of Computer Science and Technology, Beijing Institute of Technology, Beijing 100081, China; 2. School of Computer and Information Engineering, Shandong University of Finance, Jinan 250014, Shandong, China

Received:2007-12-29 Revised:2008-03-28 Online:2009-01-25 Published:2009-01-25
Contact: 刘杰（1970-），男，在职博士生，首都师范大学讲师，主要从事自然语言处理研究． E-mail:liujxxxy@126．com
About author:刘杰（1970-），男，在职博士生，首都师范大学讲师，主要从事自然语言处理研究．
Supported by:
国家自然科学基金资助项目（60773130）;教育部高等学校博士学科点专项科研基金资助项目（20050007023）

摘要/Abstract

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

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

Abstract:

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.

Key words: semantic Web, description logic, cloud model, semantic representation

刘杰樊孝忠陈康林培光 . C—SHOIQ：描述逻辑SHOIQ的云扩展[J]. 华南理工大学学报（自然科学版）, 2009, 37(1): 106-112.

Liu Jie Fan Xiao-zhong Chen Kang Lin Pei-guang. C-SHOIQ： a Cloud Extension to Description Logic SHOIQ[J]. Journal of South China University of Technology (Natural Science Edition), 2009, 37(1): 106-112.

[1]	郝雪丽, 孙朝云, 耿方圆, 等. 基于三维点云数据的集料颗粒棱角性量化评价[J]. 华南理工大学学报（自然科学版）, 2021, 49(1): 142-152.
[2]	郑美光杨姣常成龙胡志刚. 非结构化云数据管理系统不稳定数据分区识别算法[J]. 华南理工大学学报（自然科学版）, 2019, 47(8): 105-112.
[3]	骆晨刘澜. 交通诱导信息组合方式对路径决策的影响[J]. 华南理工大学学报（自然科学版）, 2017, 45(8): 77-83.
[4]	张立斌刘焕峰单洪颖杨玉林. 汽车经济型巡航的车速规划方法[J]. 华南理工大学学报（自然科学版）, 2017, 45(4): 103-111.
[5]	韦凯刘欣欣. 基于云模型的网格用户主观信任管理模型[J]. 华南理工大学学报（自然科学版）, 2011, 39(2): 81-87,94.
[6]	高英郭荷清邹智敏. 分布式环境下基于形式化领域本体的查询处理[J]. 华南理工大学学报（自然科学版）, 2007, 35(1): 112-117.