Jena2推理机制的研究

本文详细介绍了Jena2推理子系统的整体架构,分析并比较了通用规则推理机中的三种触发机制,通过Jena2提供的推理规则构造语法来构建规则,使用基于Rete算法的前项链引擎对一个简单的案例进行推理,验证了Jena2推理机制的有效性和推理的正确性,为今后使用Jena2中的推理机进行本体的推理奠定了坚实的基础。