基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
该文提出了基于OWL本体与Prolog规则的平面几何知识库的构建方法,从而可形式化地表示平面几何中丰富的语义信息.一方面,用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识,为领域内概念与概念之间关系的描述提供形式化的语义;另一方面,用Prolog规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题,从而支持复杂关系间的推理.在此基础上,用Protégé和Prolog构建了一个基于本体和规则的平面几何知识库.实验证明:此知识库可实现知识和语义层次上的信息查询,还可进行复杂问题求解,其丰富的语义描述和混合推理能力弥补了传统知识库的不足.
推荐文章
基于本体的知识库推理研究
本体
知识库
推理
基于双向混合推理机的知识库系统
知识库系统
推理机
知识点循环学习
基于描述逻辑的组合知识库推理
描述逻辑
推理
相似
跨领域
知识库
基于本体的领域知识库构建及推理研究
本体
资源描述框架
描述逻辑
知识库构建
知识推理
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于混合推理的知识库的构建及其应用研究
来源期刊 计算机学报 学科 工学
关键词 平面几何 本体 知识库 混合推理
年,卷(期) 2012,(4) 所属期刊栏目 研究论文与技术报告
研究方向 页码范围 761-766
页数 分类号 TP311
字数 4707字 语种 中文
DOI 10.3724/SP.J.1016.2012.00761
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 钟秀琴 电子科技大学计算机科学与工程学院 7 189 4.0 7.0
2 刘忠 14 114 4.0 10.0
3 丁盘苹 电子科技大学计算机科学与工程学院 3 78 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (6)
共引文献  (31)
参考文献  (7)
节点文献
引证文献  (62)
同被引文献  (216)
二级引证文献  (961)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(2)
  • 参考文献(2)
  • 二级参考文献(0)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(2)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(2)
  • 二级引证文献(0)
2012(2)
  • 引证文献(2)
  • 二级引证文献(0)
2013(5)
  • 引证文献(4)
  • 二级引证文献(1)
2014(21)
  • 引证文献(12)
  • 二级引证文献(9)
2015(98)
  • 引证文献(16)
  • 二级引证文献(82)
2016(189)
  • 引证文献(8)
  • 二级引证文献(181)
2017(211)
  • 引证文献(6)
  • 二级引证文献(205)
2018(239)
  • 引证文献(9)
  • 二级引证文献(230)
2019(193)
  • 引证文献(3)
  • 二级引证文献(190)
2020(65)
  • 引证文献(2)
  • 二级引证文献(63)
研究主题发展历程
节点文献
平面几何
本体
知识库
混合推理
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机学报
月刊
0254-4164
11-1826/TP
大16开
中国科学院计算技术研究所(北京2704信箱)
2-833
1978
chi
出版文献量(篇)
5154
总下载数(次)
49
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导