推理机Jess、Racer、Jena 比较 （转）

Jess(Java Expert Shell System)是基于Java语言的CLIPS推理机。 CLIPS是基于产生式的前向推理引擎，它是一种非常基础性的东西，许多上层的推理任务，都要映射到这个推理引擎上来运行。     CLIPS(或Jess)原则上可以处理各种领域的推理任务，只要系统能够为CLIPS提供这个领域的特有领域规则(产生式形式给出)和事实信息 (Assertion 形式给出)。 本体推理作为一类应用，当然也可以映射到CLIPS推理机上进行推理，但必须为推理机提供本体领域的有关规则。例如，要用 CLIPS(Jess) 进行OWL的推理，就要以产生式规则的形式，向系统中输入OWL的每种语言成分的含义的有关规则。有了这些规则后，就可以用CLIPS对OWL形式给出的 本体进行推理了。同理，若对DAML形式给出的本体进行推理，就需要向CLIPS中提供DAML的每种语言成分的含义的有关规则。    Jess(CLIPS)的优点是：推理机是开放的，用户提供不同的规则系统，就可以进行不同领域的推理工作，用户可以对推理机的推理能力进行扩展。 但，作为前向推理系统，Jess用空间换时间，推理会产生大量的中间数据，空间效率很低；同时，由于Jess(CLIPS)是通用推理引擎，不可能提供针 对各种具体领域的优化能力，使得这种推理机制的效率很难优化。

   现在，针对本体的推理，越来越多地集中在了几种标准的本体语言上，如OWL、 DAML、RDFS/RDF等，这样，研究者给出效率更高的，针对这些具体应用的推理机。象RACER、FaCT、Pellet等就是这类具体有强烈针对 性的推理机。它们的优点是：效率很高，使用上也非常方便；缺点是：不是通用推理机，将推理能力限定在几种具体的本体语言上