基于属性粒度商空间的本体形式化与检验

• 作者: 刘进营 孙滨 王晓东 赵爱玲
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 本体 粒度计算 商空间 形式化 属性
• 年，卷（期）: 2010,（7）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 50-51,54
• 页数: 3页
• 分类号: TP301
• 字数: 4580字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.07.017

摘要

针对传统的本体形式化过程中从一个本体层次空间跳转到另一个本体层次空间存在的问题,将粒度计算思想引入本体建模领域,利用属性粒度商空间理论构建本体形式化模型,定义模型的各个部分,在此基础上对基于属性粒度商空间的本体形式化模型进行检验,验证该模型可以较好地满足本体层次之间的跳转及推理关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王晓东	河南师范大学计算机与信息技术学院	58	405	11.0	17.0
2	刘进营	河南师范大学计算机与信息技术学院	3	10	1.0	3.0
3	赵爱玲	河南师范大学计算机与信息技术学院	4	24	2.0	4.0
4	孙滨	河南师范大学计算机与信息技术学院	3	5	1.0	2.0