基于Tbox和Abox的描述逻辑推理研究

语义Web的出现使得描述逻辑(Description Logic)成为研究的热点。它是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性以及有效推理等优点,其中推理服务是它的核心。首先重点讨论基于Tbox和Abox的推理任务;其次,详细阐述各算法以及相互间内在联系;最后,得出描述逻辑的所有推理都可以转化为基于Abox的一致性检测问题,并给出其算法及实现过程。在语义Web环境下,描述逻辑的推理服务可以提高机器的理解能力,实现机器完全自主化。