java - using rule engines

Question

I want a rule engine to calculate the truth values of formulas (and/or) + inferring new rules from the current KB.

I searched most of the rule engines but I can not find a concrete example. Could you please help me with an example?

Answer 1

我会根据您的要求建议开源Drools。请看一下本教程： http: //www.developer.com/java/ent/article.php/10933_3821101_4/Rev-Up-the-Drools-5-Java-Rule-Engine.htm

Answer 2

规则和推理是语义网络世界中的重要主题。您可以在 OWL 中为本体建模，并在模型和实例数据上运行推理器并生成推断事实。 Jena 框架具有出色的规则引擎，具有原生支持以及对许多当前语义网络收藏夹（如 Pellet、Racer 和 FaCT）的推理器支持。见http://jena.sourceforge.net/inference/