意味論的推論エンジン

• Cyc推論エンジンは、順方向および逆方向の連鎖推論を行うエンジンであり、高階論理のための多数の専用モジュールを備えています。
• KAON2は、OWL-DL、SWRL、およびF-Logicオントロジーを管理するためのインフラストラクチャです。

• Cwmは、情報の照会、検証、変換、フィルタリングに使用される前方連鎖推論エンジンです。そのコア言語はRDFであり、ルールを含むように拡張されています。また、必要に応じてRDF/XMLまたはN3シリアライゼーションを使用します。
• Droolsは、 Reteアルゴリズムの拡張実装を使用する、前方連鎖推論に基づくルールエンジンです。
• Evreteは、 Reteアルゴリズムを使用し、Java Rule Engine API（JSR 94）に準拠した、前方連鎖型のJavaルールエンジンです。
• EYEは、オイラー経路に沿って順方向および逆方向の連鎖を実行する推論エンジンであり、セマンティックWebスタックをサポートし、Notation3を実装しています。
• D3webは、知識ベースシステム（エキスパートシステム）のためのプラットフォームです。
• Flora-2は、オブジェクト指向でルールベースの知識表現および推論システムです。
• Jenaは、Java向けのオープンソースのセマンティックWebフレームワークであり、さまざまな意味推論モジュールを含んでいます。
• OWLSharpは、インテリジェントなセマンティックWebアプリケーションを実現するための、軽量で使いやすい.NETライブラリです。
• NRulesは、C#で実装された前方連鎖推論ベースのルールエンジンであり、 Reteアルゴリズムの拡張実装を使用しています。
• Provaは、SPARQLクエリと型システム（RDFS、OWLオントロジーを型システムとして使用）によるデータ統合をサポートするセマンティックWebルールエンジンです。
• DIP（Defeasible-Inference Platform）は、Web Ontology Languageの推論エンジンであり、非可換包含関係を表現して推論するためのProtégéデスクトッププラグインです。 ^{[ 3 ]}これは、基となる決定手順を変更する必要なく、「古典的な含意」に還元される優先含意スタイルの推論を実装しています。

S-LOR（Sensor-based Linked Open Rules）意味論的推論エンジン S-LORは、GNU GPLv3ライセンスの下で提供されています。

S-LOR（Sensor-based Linked Open Rules）は、ルールベースの推論エンジンであり、センサーの測定値から有意義な知識を推論するために、相互運用可能なルールを共有および再利用するためのアプローチです。