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

被引：13

作者：

叶育鑫 ^{[1
,2
,3
]}

欧阳丹彤 ^{[1
,2
]}

领吉 ^{[1
,2
]}

张永刚 ^{[1
,2
]}

机构：

[1] 吉林大学计算机科学与技术学院

[2] 吉林大学符号计算与知识工程教育部重点实验室

[3] 爱尔兰国立大学数字化企业研究所

来源：

吉林大学学报(工学版) | 2009年 / 05期

基金：

国家自然科学基金重大项目;

关键词：

人工智能; 知识工程; 语义Web; 推理方法; 本体; 规则;

D O I：

暂无

中图分类号：

TP182 [专家系统、知识工程];

学科分类号：

140502 [人工智能];

摘要：

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

引用

页码：1297 / 1302

页数：6