吉林大学学报(工学版) ›› 2009, Vol. 39 ›› Issue (05): 1297-1302.

• 论文 • 上一篇    下一篇

本体与规则整合的推理方法研究及设计

叶育鑫1,2,3,欧阳丹彤1,2,领 ,吉1,2,张永刚1,2   

  1. 1.吉林大学 计算机科学与技术学院, |长春 130012;2.吉林大学 符号计算与知识工程教育部重点实验室,长春 130012;3.爱尔兰国立大学 数字化企业研究所,高威
  • 收稿日期:2008-05-16 出版日期:2009-09-01 发布日期:2009-09-01
  • 通讯作者: 欧阳丹彤(1968-),女,教授,博士生导师.研究方向:知识工程,自动推理.Email:ouyd@jlu.edu.cn E-mail:ouyd@jlu.edu.cn
  • 作者简介:叶育鑫(1981-),男,博士研究生.研究方向:语义Web,本体推理.Email:yuxin.ye@hotmail.com
  • 基金资助:

    国家自然科学基金项目(60773097, 60873148);国家自然科学基金重大项目(60496320, 60496321);新世纪优秀人才支持计划项目(20060532);吉林省科技发展计划项目 (20080107);欧盟项目 (111084).

Research and design of reasoning algorithm with ontologies and rules

YE Yu-xin1, 2, 3,OUYANG Dan-tong1, 2,LING Ji1, 2,ZHANG Yong-gang1, 2   

  1. 1.College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Changchun 130012, China; 3.Digital Enterprise Research Institute, National University of Ireland, Galway, Ireland
  • Received:2008-05-16 Online:2009-09-01 Published:2009-09-01

摘要:

       在给出混合知识表示的基础上,提出基于Tableau演算的变种算法ModelTableau,将其与以SLD原理为基础的Topdown算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。

关键词: 人工智能, 知识工程, 语义Web, 推理方法, 本体, 规则

Abstract:

     The motivation to integrate ontology layer with rule layer is to improve the features of knowledge presentation formalism, named the expressive power and the reasoning procedure of semantic web. Also the integration is not just simply unifying conclusions derived from each layer. In addition, when the expressive power is increased, problems will arise from reasoning. In this paper, we introduce an integrated knowledge representation formalism and an algorithm for reasoning on this formalism. A varietal approach, named ModelTableau, is proposed, which is based on tableau calculus. This approach can be used to deal with expressive representation and complex reasoning under combing ontologies and rules. Furthermore, the reasoning algorithm is given that combines the ModelTableau approach and the Topdown procedure based on SLDResolution. The soundness of this algorithm is proved and a prototype system is provided. The results show that both the expressive power and reasoning procedure are improved.

Key words: artificial intelligence, knowledge engineering, semantic Web, reasoning algorithm, ontologies, rules

中图分类号: 

  • TP182
[1] 董飒, 刘大有, 欧阳若川, 朱允刚, 李丽娜. 引入二阶马尔可夫假设的逻辑回归异质性网络分类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1571-1577.
[2] 顾海军, 田雅倩, 崔莹. 基于行为语言的智能交互代理[J]. 吉林大学学报(工学版), 2018, 48(5): 1578-1585.
[3] 王旭, 欧阳继红, 陈桂芬. 基于垂直维序列动态时间规整方法的图相似度度量[J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4] 张浩, 占萌苹, 郭刘香, 李誌, 刘元宁, 张春鹤, 常浩武, 王志强. 基于高通量数据的人体外源性植物miRNA跨界调控建模[J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5] 黄岚, 纪林影, 姚刚, 翟睿峰, 白天. 面向误诊提示的疾病-症状语义网构建[J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6] 李雄飞, 冯婷婷, 骆实, 张小利. 基于递归神经网络的自动作曲算法[J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7] 刘杰, 张平, 高万夫. 基于条件相关的特征选择方法[J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8] 王旭, 欧阳继红, 陈桂芬. 基于多重序列所有公共子序列的启发式算法度量多图的相似度[J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9] 杨欣, 夏斯军, 刘冬雪, 费树岷, 胡银记. 跟踪-学习-检测框架下改进加速梯度的目标跟踪[J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10] 刘雪娟, 袁家斌, 许娟, 段博佳. 量子k-means算法[J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11] 曲慧雁, 赵伟, 秦爱红. 基于优化算子的快速碰撞检测算法[J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12] 李嘉菲, 孙小玉. 基于谱分解的不确定数据聚类方法[J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13] 邵克勇, 陈丰, 王婷婷, 王季驰, 周立朋. 无平衡点分数阶混沌系统全状态自适应控制[J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14] 王生生, 王创峰, 谷方明. OPRA方向关系网络的时空推理[J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15] 马淼, 李贻斌. 基于多级图像序列和卷积神经网络的人体行为识别[J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!