我希望规则引擎计算公式的真值（和/或）+从当前KB推断新规则。
我搜索了大多数规则引擎，但我找不到具体的例子。你能帮我举个例子吗？
答案 0 :(得分：1)
我建议您根据自己的要求提供开源Drools。请查看本教程：http://www.developer.com/java/ent/article.php/10933_3821101_4/Rev-Up-the-Drools-5-Java-Rule-Engine.htm
答案 1 :(得分：0)
规则和推理是语义网络世界中的重要主题。您可以在OWL中建模本体，并在模型和实例数据上运行推理器并生成推断的事实。 The Jena framework有一个出色的规则引擎，具有原生支持，并且支持许多当前语义Web收藏夹（如Pellet，Racer和FaCT）的推理支持。见http://jena.sourceforge.net/inference/