using rule engines [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.

---

Questions asking us to recommend or find a tool, library or favorite off-site resource are off-topic for Stack Overflow as they tend to attract opinionated answers and spam. Instead, describe the problem and what has been done so far to solve it.

Closed 9 years ago.

Improve this question

I want a rule engine to calculate the 开发者_C百科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?

---

I would suggest open source Drools for your requirements. Please take a look at this tutorial: http://www.developer.com/java/ent/article.php/10933_3821101_4/Rev-Up-the-Drools-5-Java-Rule-Engine.htm

---

Rules and inferencing are big topics in the semantic web world. You can model an ontology in OWL and run a reasoner over your model and instance data and produce inferred facts. The Jena framework has an excellent rules engine with native support plus drop in reasoner support for many of the current semantic web favorites such as Pellet, Racer and FaCT. See http://jena.sourceforge.net/inference/