基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
形式化Ontology模型及其检验问题一直是人工智能中的研究热点.将粒度计算的思想应用到Ontology形式化建模领域,利用商空间理论对Ontology进行形式化,并在此基础上对Ontolog),进行模型检验.
推荐文章
基于属性粒度商空间的本体形式化与检验
本体
粒度计算
商空间
形式化
属性
基于MDA的MARTE模型形式化方法
模型驱动体系
形式化方法
模型转换
MARTE元模型
SIP协议系统模型的形式化研究
形式化规范
SIP协议
SDL
MSC
基于范畴论的业务目标模型形式化
GRL模型
范畴论
模型形式化
模型正确性验证
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 商空间模型下的Ontology形式化及其检验
来源期刊 计算机工程与应用 学科 工学
关键词 Ontology 粒度计算 商空间 形式化 模型
年,卷(期) 2010,(25) 所属期刊栏目
研究方向 页码范围 44-46
页数 分类号 TP301
字数 4622字 语种 中文
DOI 10.3778/j.issn.1002-8331.2010.25.013
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王晓东 河南师范大学计算机与信息技术学院 58 405 11.0 17.0
2 孙滨 河南师范大学计算机与信息技术学院 3 5 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (17)
共引文献  (862)
参考文献  (7)
节点文献
引证文献  (4)
同被引文献  (0)
二级引证文献  (0)
1984(1)
  • 参考文献(0)
  • 二级参考文献(1)
1986(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1993(3)
  • 参考文献(0)
  • 二级参考文献(3)
1995(2)
  • 参考文献(0)
  • 二级参考文献(2)
1996(2)
  • 参考文献(0)
  • 二级参考文献(2)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(8)
  • 参考文献(5)
  • 二级参考文献(3)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2010(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
Ontology
粒度计算
商空间
形式化
模型
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导