计算机应用研究2012，Vol.29Issue(12)：4503-4506,4511,5.DOI:10.3969/j.issn.1001-3695.2012.12.026
基于描述逻辑的组合知识库推理
Interdisciplinary reasoning on description logic
摘要
Abstract
In order to reasoning on interdisciplinary 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.关键词
描述逻辑/推理/相似/跨领域/知识库Key words
description logic/ reasoning/ similar/ interdisciplinary/ knowledge base (KB)分类
信息技术与安全科学引用本文复制引用
卢道设,杨世瀚,吴尽昭,熊玲芳..基于描述逻辑的组合知识库推理[J].计算机应用研究,2012,29(12):4503-4506,4511,5.基金项目
国家自然科学基金资助项目(60973147) （60973147）
广西自然科学基金资助项目(2011GXNSFA018154) （2011GXNSFA018154）
广西教育厅科研资助项目(201012MS274) （201012MS274）
中国科学院2010年度"西部之光"人才培养计划资助项目 （）
广西自然科学基金创新研究团队资助项目(2012JJGAG0002) （2012JJGAG0002）
广西混杂计算与IC设计分析重点实验室开放基金资助项目(HCIC201110) （HCIC201110）
