改进的描述逻辑框架Rough-SHOIN

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (14): 23-26.

改进的描述逻辑框架Rough-SHOIN

杨鹏1，2，孙波1

1.国家计算机网络应急技术处理协调中心，北京 100029
2.天津大学计算机学院，天津 300072

出版日期:2012-05-11 发布日期:2012-05-14

Improved framework of description logics Rough-SHOIN

YANG Peng1，2, SUN Bo1

1.National Computer Network Emergency Response Technical Team/Coordination Center of China, Beijing 100029, China
2.School of Computer, Tianjin University, Tianjin 300072, China

Online:2012-05-11 Published:2012-05-14

摘要/Abstract

摘要： 针对具有不完备、多粒度特点的不确定知识表示，设计了一个粗糙描述逻辑框架——Rough-SHOIN，利用粗糙相似关系作为概念描述的基础，定义概念的粗糙上近似和下近似，实现不完备概念表达，在概念解释中引入上下文，实现在不同粒度上准确定义概念-对象间关系。在此基础上，给出Rough-SHOIN粗糙概念的语法、语义及知识库，并在不增加计算复杂度的前提下，定义Rough-SHOIN的推理规则。通过实例说明该框架的有效性。

关键词: 知识表示, 不确定概念, 描述逻辑, 粗糙相似关系

Abstract: For representing the uncertain knowledge with the characteristics of incomplete and multi-granularity, a framework of rough description logics named Rough-SHOIN is designed. Rough similarity relation is used as the basis of concept description for defining rough upper and lower approximation of concepts to represent the incomplete notions. Context is introduced to give an exact definition of concept-object relationship for different granularity in concept interpretation. Based on above technologies, syntax, semantics and knowledge base of Rough-SHOIN are defined, and reasoning rules are also expatiated without increasing calculating complexity. Examples are introduced to testify the validity of this framework.

Key words: knowledge representation, uncertain concepts, description logics, rough similarity relation

杨鹏1，2，孙波1. 改进的描述逻辑框架Rough-SHOIN[J]. 计算机工程与应用, 2012, 48(14): 23-26.

YANG Peng1，2, SUN Bo1. Improved framework of description logics Rough-SHOIN[J]. Computer Engineering and Applications, 2012, 48(14): 23-26.

[1]	卢琪，潘志松，谢钧. 融合知识表示学习的双向注意力问答模型[J]. 计算机工程与应用, 2021, 57(23): 171-177.
[2]	宋浩楠，赵刚，王兴芬. 融合知识表示和深度强化学习的知识推理方法[J]. 计算机工程与应用, 2021, 57(19): 189-197.
[3]	李金海，何有世，马云蕾，周爱平. 基于多层领域本体的知识表示通用模型研究[J]. 计算机工程与应用, 2020, 56(11): 149-155.
[4]	刘冬明1，杨尔弘2. 个性化知识的表示方法[J]. 计算机工程与应用, 2015, 51(17): 113-117.
[5]	李小华1，吴斌2. 基于粗糙集的网关冗余过滤规则约简算法[J]. 计算机工程与应用, 2015, 51(12): 63-67.
[6]	刘华鹏1，刘胜全1，2，刘艳1，张华楠1，李鹏1. 基于语义的Web内容安全检测模型[J]. 计算机工程与应用, 2014, 50(14): 116-120.
[7]	张维1，余泉1，王驹2，蒋运承3，4. 描述逻辑系统[ELN]中概念的匹配算法研究[J]. 计算机工程与应用, 2013, 49(2): 48-52.
[8]	李海燕，李冠宇，韩国栓. 粗糙本体支持的知识推理框架[J]. 计算机工程与应用, 2013, 49(10): 40-44.
[9]	张贤坤1，2，刘栋2，3，高珊2，4，杜磊2，5. 基于强相关逻辑的不精确应急时态知识表示[J]. 计算机工程与应用, 2012, 48(15): 138-143.
[10]	汪天友1，曹发生2，3. 描述逻辑FL0循环术语集的可满足性[J]. 计算机工程与应用, 2012, 48(14): 56-59.
[11]	黎明1，徐德智2，余志强3. 一种扩展DL角色描述能力的方法[J]. 计算机工程与应用, 2012, 48(12): 116-119.
[12]	丁松，唐胜群，刘坤，张亮，秦学. 非一致OWL本体的推理方法研究[J]. 计算机工程与应用, 2011, 47(9): 21-24.
[13]	张雷，向宏，胡海波. 基于语义的RBAC模型权限冲突检测方法[J]. 计算机工程与应用, 2011, 47(26): 74-78.
[14]	徐伟华1，刘士虎1，张文修2. 一般二元关系下信息系统知识的粒度描述[J]. 计算机工程与应用, 2011, 47(18): 40-44.
[15]	孙晓玲，王宁. 应用带标识的模糊Petri网的知识表示方法[J]. 计算机工程与应用, 2010, 46(6): 48-51.