基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
语义Web旨在利用知识工程中成熟的技术为数据和知识交换提供语义上的互操作性,为了针对Web这种标记语言环境描述一阶命题逻辑公式、Horn子句和推理规则,本文对OIL/RDFS进行了扩展,定义了相关的逻辑描述原语.通过典型的命题规则表示示例,说明了本文的原语扩展为命题公式、推理规则表示提供了可行的方法.
推荐文章
描述逻辑的动态时序扩展
动态时序描述逻辑
动作推理
表判定算法
语义Web服务
基于扩展投影时序逻辑的组合Web服务描述与验证
组合Web服务
投影时序逻辑
形式化验证
一种利用描述逻辑的语义Web服务前提/效果匹配方法
语义Web服务
前提/效果
服务匹配
支持语义web模糊本体的描述逻辑
语义web
本体
描述逻辑
模糊
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 面向语义Web的逻辑描述原语扩展
来源期刊 电子学报 学科 工学
关键词 语义Web 知识工程 本体推理层 资源描述框架(模式) Horn子句
年,卷(期) 2002,(z1) 所属期刊栏目 科研通信
研究方向 页码范围 2115-2118
页数 4页 分类号 TN304
字数 4294字 语种 中文
DOI 10.3321/j.issn:0372-2112.2002.z1.049
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 余江 云南大学信息学院 69 295 9.0 13.0
2 周明天 电子科技大学计算机学院 315 3725 27.0 49.0
3 姚绍文 云南大学信息学院 44 299 10.0 15.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (1)
节点文献
引证文献  (27)
同被引文献  (31)
二级引证文献  (166)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2004(2)
  • 引证文献(2)
  • 二级引证文献(0)
2005(5)
  • 引证文献(3)
  • 二级引证文献(2)
2006(24)
  • 引证文献(5)
  • 二级引证文献(19)
2007(31)
  • 引证文献(6)
  • 二级引证文献(25)
2008(34)
  • 引证文献(3)
  • 二级引证文献(31)
2009(16)
  • 引证文献(3)
  • 二级引证文献(13)
2010(16)
  • 引证文献(2)
  • 二级引证文献(14)
2011(11)
  • 引证文献(0)
  • 二级引证文献(11)
2012(13)
  • 引证文献(1)
  • 二级引证文献(12)
2013(8)
  • 引证文献(0)
  • 二级引证文献(8)
2014(4)
  • 引证文献(0)
  • 二级引证文献(4)
2015(4)
  • 引证文献(1)
  • 二级引证文献(3)
2016(10)
  • 引证文献(1)
  • 二级引证文献(9)
2017(6)
  • 引证文献(0)
  • 二级引证文献(6)
2018(6)
  • 引证文献(0)
  • 二级引证文献(6)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
语义Web
知识工程
本体推理层
资源描述框架(模式)
Horn子句
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子学报
月刊
0372-2112
11-2087/TN
大16开
北京165信箱
2-891
1962
chi
出版文献量(篇)
11181
总下载数(次)
11
总被引数(次)
206555
论文1v1指导