基于描述逻辑的组合知识库推理-计算机应用研究.pdfVIP

第２９卷第１２期 计 算 机 应 用 研 究 Ｖｏｌ．２９Ｎｏ．１２ ２０１２年１２月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｄｅｃ．２０１２ 基于描述逻辑的组合知识库推理 １，２ １，２ １，２ １，２ 卢道设 ，杨世瀚 ，吴尽昭 ，熊玲芳 （１．广西民族大学信息科学与工程学院，南宁５３０００６；２．广西混杂计算与集成电路设计分析重点实验室，南 宁５３０００６） 摘　要：由于知识库的定义不同，相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库 进行推理，通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑，并基于概念的相似性将不同的领域概 念进行关联，给出组合描述逻辑的语法及语义以及相应的Ｔａｂｌｅａｕ算法。通过实例表明，组合描述逻辑可以利用 已有知识进行推理；组合描述逻辑可以将不同的知识库进行结合，为借用不同知识库的知识进行推理提供一条 新的途径。 关键词：描述逻辑；推理；相似；跨领域；知识库 中图分类号：ＴＰ１８　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１２）１２４５０３０４ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１２．１２．０２６ Ｉｎｔｅｒｄｉｓｃｉｐｌｉｎａｒｙｒｅａｓｏｎｉｎｇｏｎｄｅｓｃｒｉｐｔｉｏｎｌｏｇｉｃ １，２ １，２ １，２ １，２ ＬＵＤａｏｓｈｅ ，ＹＡＮＧＳｈｉｈａｎ ，ＷＵＪｉｎｚｈａｏ ，ＸＩＯＮＧＬｉｎｇｆａｎｇ （１．ＳｃｈｏｏｌｏｆＩｎｆｏｒｍａｔｉｏｎＳｃｉｅｎｃｅ＆Ｅｎｇｉｎｅｅｒｉｎｇ，ＧｕａｎｇｘｉＵｎｉｖｅｒｓｉｔｙｆｏｒＮａｔｉｏｎａｌｉｔｉｅｓ，Ｎａｎｎｉｎｇ５３０００６，Ｃｈｉｎａ；２．ＧｕａｎｇｘｉＫｅｙＬａｂｏｒａｔｏｒｙｏｆ ＨｙｂｒｉｄＣｏｍｐｕｔａｔｉｏｎａｌ＆ＩＣＤｅｓｉｇｎＡｎａｌｙｓｉｓ，Ｎａｎｎｉｎｇ５３０００６，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｉｎｏｒｄｅｒｔｏｒｅａｓｏｎｉｎｇｏｎｉｎｔｅｒｄｉｓｃｉｐｌｉｎａｒｉｌｙｗｉｔｈｅｘｉｓｔｅｄｋｎｏｗｌｅｄｇｅｂａｓｅｓ（ＫＢｓ），ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｄａｃｏｍｂｉｎｅｄ ｄｅｓｃｒｉｐｔｉｏｎｌｏｇｉｃｓｂａｓｅｄｋｎｏｗｌｅｄｇｅｒｅｐｒｅｓｅｎｔａｔｉｖｅ，ｒｅｌａｔｉｎｇｔｏｄｉｆｆｅｒｅｎｔｆｉｅｌｄｓｂｙｔｈｅｓｉｍｉｌａｒｉｔｙｏｆｃｏｎｃｅｐｔｓ．Ｆｉｒｓｔｉｔｇａｖｅｔｈｅｓｙｎ ｔａｘａｎｄｓｅｍａｎｔｉｃｓｏｆｔｈｅｃｏｍｂｉｎｅｄｅｓｃｒｉｐｔｉｏｎｌｏｇｉｃｓ，ｔｈｅｎｐｒｅｓｅｎｔｅｄａＴａｂｌｅａｕａｌｇｏｒｉｔｈｍｆｏｒｔｈｅｌｏｇｉｃｓ’ｇｒａｍｍａｒ．Ｔｈｅｅｘｐｅｒｉ ｍｅｎｔｓｈｏｗｅｓｔｈａｔｔｈｅｃｏｍｂｉｎｅｄｅｓｃｒｉｐｔｉｏｎｌｏｇｉｃｃａｎｒｅａｓｏｎｏｎｉｎｔｅｒｄｉｓｃｉｐｌｉｎａｒｙｉｎＫＢｓ．Ｗｉｔｈｔｈｅｃｏｍｂｉｎｅｄｆｏｒｍａｌｉｓｍ，ｉｔｃａｎ ｉｎｔｅｇｒａｔｅｔｈｅｄｉｆｆｅｒｅｎｔＫＢｓｓｏｔｈａｔｐｒｏｖｉｄｉｎｇａｎｅｗｓｕｐｐｏｒｔｆｏｒｉｎｔｅｒｄｉｓｃｉｐｌｉｎａｒｙｒｅａｓｏｎｉｎｇ． Ｋｅｙｗｏｒｄｓ：ｄｅｓｃｒｉｐｔｉｏｎｌｏｇｉｃ；ｒｅａｓｏｎｉｎｇ；ｓｉｍｉｌａｒ；ｉｎｔｅｒｄｉｓｃｉｐｌｉｎａｒｙ；ｋｎｏｗｌｅｄｇｅｂａｓｅ（ＫＢ） 念，通过个体的空间距离合理定义，把不同知识库间的知识联 　引言 系起来，从而把潜在的知识挖掘出来。 ［１］ 随着语义网 的发展，描述逻辑受到越来越多的关注。