基于描述逻辑的组合知识库推理-广西民族大学机构知识库.PDF

第 29 卷第 12 期 计 算 机 应 用 研 究 Vol． 29 No． 12 2012 年 12 月 Application Research of Computers Dec． 2012 基于描述逻辑的组合知识库推理* 1，2 1，2  1，2 1，2 ， ， ， 卢道设 杨世瀚 吴尽昭 熊玲芳 ( 1． 广西民族 大学 信息科学与工程 学院，南宁 530006; 2 ． 广西混杂计算与集成 电路设计分析重点 实验室 ，南 宁 530006) : ， 。 摘 要 由于知识库的定义不同 相近领域的知识库不能相互利用 已有知识进行推理 为了联合 不同的知识库 ， ， 进行推理 通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑 并基 于概念 的相似性将 不同的领域概 ， Tableau 。 ， 念进行关联 给出组合描述逻辑的语 法及语 义以及相应 的 算法 通过 实例表 明 组合描述逻辑可 以利用 ; ， 已有知识进行推理 组合描述逻辑可以将不同的知识库进行结合 为借 用不同知识库 的知识进行推理提供 一条 新的途径 。 : ; ; ; ; 关键词 描述逻辑 推理 相似 跨领域 知识库 中图分类号:TP18 文献标志码:A 文章编号:1001-3695 ( 2012) 12-4503-04 doi :10 ． 3969 /j ． issn． 1001-3695． 2012 ． 12 ． 026 Interdisciplinary reasoning on description logic LU Dao-she1，2 ，YANG Shi-han1，2 ，WU Jin-zhao1，2 ，XIONG Ling-fang1，2 (1． School of Inf ormation Science ＆ Engineering ，Guangxi University f or Nationalities ，Nanning 530006 ，China ;2． Guangxi Key Laboratory of Hybrid Comp utational ＆ IC Design Analysis ，Nanning 530006 ，China) Abstract :In order to reasoning on interdisciplinarily with existed knowledge bases (KBs)，this paper proposed a combined description logics based knowledge representative ，relating to different fields by the similarity of concepts． First it gave the syn- tax and semanti