推理机Jess,Racer,Jena

推理机
Jess(Java Expert Shell System)是基于Java语言的CLISP推理机。 CLISP是基于产生式的前向推理引擎，许多上层的推理任务，都要映射到这个推理引擎上来运行。 CLISP(或Jess)原则上可以处理各种领域的推理任务，只要系统能够为CLISP提供这个领域的特有领域规则(产生式形式给出)和事实信息 (Assertion 形式给出)。Jess(CLISP)是通用推理引擎。Jess(CLISP)的优点是：推理机是开放的，用户提供不同的规则系统，就可以进行不同领域的推理工作，用户可以对推理机的推理能力进行扩展。作为前向推理系统，Jess用空间换时间，推理会产生大量的中间数据，空间效率很低。
RACER、FaCT、Pellet等是针对本体的推理机。它们的优点是：效率很高，使用上也非常方便；缺点是：不是通用推理机，将推理能力限定在几种具体的本体语言上，而且用户很难对它进行扩展。
Jena是面向语义Web的应用开发包，包含的内容比较全面，推理机只是其中一部分。 Jena提供的推理机也和RACER、FaCT、Pellet等一样，是针对本体的推理机，但Jena本身并不是‘推理机设计专家’，它自身包含的推理机基本上就是一种CLISP配合本体领域产生式规则的前向推理系统。因此，它的运行效率不是很高。