基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集.作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中.本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义Web中的地位等方面做了系统阐述.
推荐文章
描述逻辑的动态时序扩展
动态时序描述逻辑
动作推理
表判定算法
语义Web服务
基于描述逻辑的CIM模型
描述逻辑
DLRifrl
CIM模型
自主计算
基于描述逻辑的组合知识库推理
描述逻辑
推理
相似
跨领域
知识库
硬件描述语言VHDL及其逻辑设计
硬件描述语言
VHDL
逻辑设计
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 描述逻辑综述
来源期刊 计算机科学 学科 工学
关键词 描述逻辑 知识表示 语义Web 本体
年,卷(期) 2006,(1) 所属期刊栏目 人工智能与图像处理技术
研究方向 页码范围 194-197,225
页数 5页 分类号 TP3
字数 5426字 语种 中文
DOI 10.3969/j.issn.1002-137X.2006.01.054
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 孙吉贵 吉林大学符号计算与知识工程教育部重点实验室 134 2984 21.0 52.0
2 石莲 吉林大学计算机科学与技术学院 3 168 3.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (4)
共引文献  (659)
参考文献  (7)
节点文献
引证文献  (130)
同被引文献  (57)
二级引证文献  (53)
1985(1)
  • 参考文献(1)
  • 二级参考文献(0)
1991(1)
  • 参考文献(1)
  • 二级参考文献(0)
1992(1)
  • 参考文献(1)
  • 二级参考文献(0)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(2)
  • 参考文献(1)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2006(1)
  • 引证文献(1)
  • 二级引证文献(0)
2007(5)
  • 引证文献(5)
  • 二级引证文献(0)
2008(12)
  • 引证文献(12)
  • 二级引证文献(0)
2009(10)
  • 引证文献(8)
  • 二级引证文献(2)
2010(20)
  • 引证文献(19)
  • 二级引证文献(1)
2011(13)
  • 引证文献(13)
  • 二级引证文献(0)
2012(18)
  • 引证文献(11)
  • 二级引证文献(7)
2013(20)
  • 引证文献(14)
  • 二级引证文献(6)
2014(25)
  • 引证文献(17)
  • 二级引证文献(8)
2015(14)
  • 引证文献(12)
  • 二级引证文献(2)
2016(16)
  • 引证文献(7)
  • 二级引证文献(9)
2017(17)
  • 引证文献(6)
  • 二级引证文献(11)
2018(6)
  • 引证文献(3)
  • 二级引证文献(3)
2019(6)
  • 引证文献(2)
  • 二级引证文献(4)
研究主题发展历程
节点文献
描述逻辑
知识表示
语义Web
本体
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机科学
月刊
1002-137X
50-1075/TP
大16开
重庆市渝北区洪湖西路18号
78-68
1974
chi
出版文献量(篇)
18527
总下载数(次)
68
论文1v1指导