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

摘要：

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

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

所属期刊栏目：39

分类号：TP182(自动化基础理论)

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

在线出版日期：2016-05-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1297-1302