基于描述逻辑的组合知识库推理

被引：4

作者：

卢道设 ^{[1
,2
]}

杨世瀚 ^{[1
,2
]}

吴尽昭 ^{[1
,2
]}

熊玲芳 ^{[1
,2
]}

机构：

[1] 广西民族大学信息科学与工程学院

[2] 广西混杂计算与集成电路设计分析重点实验室

来源：

计算机应用研究 | 2012年 / 29卷 / 12期

关键词：

描述逻辑; 推理; 相似; 跨领域; 知识库;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。

引用

页码：4503 / 4506+4511 +4511

页数：5

共 8 条

[1] 基于本体DL的语义推理研究
王金环
李宝敏
[J]. 计算机技术与发展, 2009, 19 (11) : 94 - 96+100
[2] 描述逻辑综述
石莲
孙吉贵
[J]. 计算机科学, 2006, (01) : 194 - 197+225
[3] Ontology-Based Integration of Information A Survey of Existing Approaches. Wache H,Vogele T,Visser V,et al. Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI01): Ontology and Information Sharing . 2001
[4] 语义网原理与技术[M]. 科学出版社 , 陆建江等, 2007
[5] Conjunctive query answeringfor the description logic SHIQ. Glimm B,Horrocks I,Lutz C,et al. Proc of the Twentieth Interna-tional Joint Conference on Artificial Intelligence . 2007
[6] The Description Logic Handbook:Theory,I mplementation and Applications. Baader F,McGuinness D,Nardi D,et al. . 2003
[7] 从ALC到SHOQ(D):描述逻辑及其Tableau算法
梅婧
林作铨
[J]. 计算机科学, 2005, (03) : 1 - 11+35
[8] A Tableau Decision Procedure for $\mathcal{SHOIQ}$[J] . Ian Horrocks,Ulrike Sattler. &nbspJournal of Automated Reasoning . 2007 (3)

← 1 →