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

Interdisciplinary reasoning on description logic

作　　者：卢道设[1,2] 杨世瀚[1,2] 吴尽昭[1,2] 熊玲芳[1,2] 

机构地区：[1]广西民族大学信息科学与工程学院,南宁530006 [2]广西混杂计算与集成电路设计分析重点实验室,南宁530006

出　　处：《计算机应用研究》2012年第12期4503-4506,4511,共5页Application Research of Computers

基　　金：国家自然科学基金资助项目(60973147);广西自然科学基金资助项目(2011GXNSFA018154);广西自然科学基金创新研究团队资助项目(2012JJGAG0002);广西教育厅科研资助项目(201012MS274);中国科学院2010年度"西部之光"人才培养计划资助项目;广西混杂计算与IC设计分析重点实验室开放基金资助项目(HCIC201110)

摘　　要：由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。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 syntax and semantics of the combine description logics,then presented a Tableau algorithm for the logics＇ grammar.The experiment showes that the combine description logic can reason on inter-disciplinary in KBs.With the combined formalism,it can integrate the different KBs so that providing a new support for interdisciplinary reasoning.

关 键 词：描述逻辑 推理 相似 跨领域 知识库 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]