10.3969/j.issn.1006-2475.2013.09.003
基于描述逻辑推理的本体构建方法
本体是语义网中知识重现和信息检索查询的研究热点,而作为本体描述语言基础的描述逻辑则是知识表示和推理的形式化工具,具有强大的表达能力和高效完备的推理服务机制,被广泛应用于人工智能、数据库、信息协同系统和知识管理等诸多领域.本文深入研究描述逻辑理论和推理机制,提出一种改进Tableaux-RALU推理算法,并在图书本体构建中验证了描述逻辑推理机制的实用性.
描述逻辑、推理机制、本体构建
TP18(自动化基础理论)
湖北省科技攻关计划基金资助项目2007AA101C49
2013-10-23(万方平台首次上网日期,不代表论文的发表时间)
共5页
13-17