セマンティック推論

セマンティック推論システム、推論エンジン、ルールエンジン、または単に推論システムとは、一連の主張された事実または公理から論理的帰結を推論できるソフトウェアです。セマンティック推論システムの概念は、より豊富なメカニズムを提供することで、推論エンジンの概念を一般化したものです。推論ルールは、オントロジー言語、多くの場合は記述論理言語によって指定されます。多くの推論システムは、推論を実行するために第1階述語論理を使用します。推論は、通常、前向き連鎖と後向き連鎖によって進められます。また、非公理的推論システム^[1]や確率的論理ネットワーク^[2]などの確率的推論システムの例もあります。

注目すべきセマンティック推論システムと関連ソフトウェア:

• Cyc推論エンジンは、高階ロジック用の多数の特殊モジュールを備えた、前向きおよび後ろ向き連鎖推論エンジンです。
• KAON2 は、OWL-DL、SWRL、およびF-Logicオントロジーを管理するためのインフラストラクチャです。

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

S-LOR (センサーベースのリンクされたオープン ルール) セマンティック推論システム S-LOR は GNU GPLv3 ライセンスの下にあります。

S-LOR (センサーベースのリンクされたオープン ルール) は、ルールベースの推論エンジンであり、相互運用可能なルールを共有および再利用して、センサー測定から意味のある知識を推測するためのアプローチです。

• ビジネスルールエンジン
• ドクサスティック論理
• エキスパートシステム
• 論理プログラミング
• 分析表法
• ソルバー

• OWL 2 推論者が W3C SW ワーキング グループのホームページに掲載されました
• RDF 用 SPARQL クエリ言語
• マルコ・ルーサー、トルステン・リービッヒ、セバスチャン・ベーム、オラフ・ノッペンス：「ボブの父親はいったい誰？」ESWC 2009: 66-80
• Jurgen Bock、Peter Haase、Qiu Ji、Raphael Volz。 OWL 推論エンジンのベンチマーク^{[永久リンク切れ‍ ]}。ミラーあり。ARea2008 – Web での推論の推進に関するワークショップ: スケーラビリティと常識 (2008 年 6 月)
• Tom Gardiner、Ian Horrocks、Dmitry Tsarkov。記述ロジック推論器の自動ベンチマーク。記述ロジック ワークショップ 2006