基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
描述逻辑是本体的重要表示方式,但只能处理严格的确定性知识,并不能处理自然界中广泛存在的不确定知识.通过对最基本的描述逻辑ALC进行扩展,提出了能够处理不确定知识的基于云模型不确定描述逻辑:Cloud-ALC,给出了Cloud-ALC的语法和语义及其蕴涵推理关系.实例分析说明Cloud-ALC可以为扩展本体描述语言以能够处理不确定知识提供语义支持.
推荐文章
基于OBDD的描述逻辑ALC判定算法
描述逻辑
ALC
布尔函数
OBDD
可满足性
基于本体和云理论的不确定知识表示
云模型
企业知识表示
描述逻辑
不确定性推理
含有合取查询的时态描述逻辑ALC-LTL模型检测
线性时态描述逻辑
模型检测
合取查询
语义Web
描述逻辑的动态时序扩展
动态时序描述逻辑
动作推理
表判定算法
语义Web服务
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 Cloud-ALC:描述逻辑ALC的不确定扩展
来源期刊 广西师范大学学报(自然科学版) 学科 工学
关键词 云模型 语义网 描述逻辑 推理
年,卷(期) 2006,(4) 所属期刊栏目
研究方向 页码范围 175-178
页数 4页 分类号 TP391
字数 3495字 语种 中文
DOI 10.3969/j.issn.1001-6600.2006.04.044
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 樊孝忠 北京理工大学计算机科学技术学院 127 2336 26.0 43.0
2 林培光 北京理工大学计算机科学技术学院 15 54 4.0 6.0
6 邓擘 北京理工大学计算机科学技术学院 4 62 4.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (26)
共引文献  (821)
参考文献  (5)
节点文献
引证文献  (4)
同被引文献  (10)
二级引证文献  (8)
1965(1)
  • 参考文献(0)
  • 二级参考文献(1)
1980(3)
  • 参考文献(1)
  • 二级参考文献(2)
1982(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(3)
  • 参考文献(1)
  • 二级参考文献(2)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(4)
  • 参考文献(0)
  • 二级参考文献(4)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(4)
  • 参考文献(0)
  • 二级参考文献(4)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(2)
  • 参考文献(2)
  • 二级参考文献(0)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(2)
  • 引证文献(1)
  • 二级引证文献(1)
2012(1)
  • 引证文献(0)
  • 二级引证文献(1)
2013(1)
  • 引证文献(0)
  • 二级引证文献(1)
2014(2)
  • 引证文献(0)
  • 二级引证文献(2)
2015(2)
  • 引证文献(1)
  • 二级引证文献(1)
2017(3)
  • 引证文献(1)
  • 二级引证文献(2)
研究主题发展历程
节点文献
云模型
语义网
描述逻辑
推理
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
广西师范大学学报(自然科学版)
双月刊
1001-6600
45-1067/N
大16开
桂林市育才路15号
48-54
1957
chi
出版文献量(篇)
3550
总下载数(次)
1
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导