基于描述逻辑推理的本体构建方法

摘要

本体是语义网中知识重现和信息检索查询的研究热点,而作为本体描述语言基础的描述逻辑则是知识表示和推理的形式化工具,具有强大的表达能力和高效完备的推理服务机制,被广泛应用于人工智能、数据库、信息协同系统和知识管理等诸多领域.本文深入研究描述逻辑理论和推理机制,提出一种改进Tableaux-RALU推理算法,并在图书本体构建中验证了描述逻辑推理机制的实用性.