ルール エンジンで式 (および/または) の真理値を計算し、現在の KB から新しいルールを推測する必要があります。
ほとんどのルール エンジンを検索しましたが、具体的な例が見つかりません。例を教えてください。
要件に合わせて、オープンソースのDroolsをお勧めします。このチュートリアルをご覧ください: http://www.developer.com/java/ent/article.php/10933_3821101_4/Rev-Up-the-Drools-5-Java-Rule-Engine.htm
ルールと推論は、セマンティック Web の世界では大きなトピックです。OWL でオントロジーをモデル化し、モデルとインスタンス データに対して推論を実行して、推論された事実を生成できます。 Jena フレームワークには、ネイティブ サポートに加えて、Pellet、Racer、FaCT などの現在のセマンティック Web のお気に入りの多くに対する推論サポートのドロップを備えた優れたルール エンジンがあります。http://jena.sourceforge.net/inference/を参照