セマンティックウェブルール言語

セマンティックWebルール言語（SWRL ）は、セマンティックWeb向けに提案されている言語で、 OWL DLまたはOWL Liteとルールマークアップ言語（それ自体がDatalogのサブセット）のサブセットを組み合わせることで、ルールとロジックの両方を表現するために使用できます。^{[ 1 ]}

この仕様は、2004 年 5 月にカナダ国立研究評議会、Network Inference (現在はwebMethodsに買収)、スタンフォード大学が合同の米国/EU アドホック エージェント マークアップ言語委員会と共同でW3Cに提出しました。この仕様は、OWL ルール言語に関する以前の提案に基づいています。^{[ 2 ] [ 3 ]}

SWRLはOWL DLと同等の機能を備えていますが、決定可能性と実用的な実装が犠牲になっています。^{[ 4 ]} しかし、適切な安全条件を課すなどして、許容されるルールの形式を制限することで、決定可能性を取り戻すことができます。^{[ 5 ]}

規則は、前件（本体）と後件（ヘッド）の間の含意の形をとります。意図された意味は、前件で指定された条件が満たされる場合、後件で指定された条件も満たされなければならない、と解釈できます。前件と後件はどちらも原子の結合から構成されます。基本的な原子形式は次のとおりです。^{[ 1 ]}

• C(x) — クラス記述アトム。個体xがクラスCに属することを表明する。
• P(x, y) — 特性アトムであり、個体xが特性Pによって個体y（またはデータ値）と関連付けられていることを示す。
• sameAs(x, y)およびdifferentFrom(x, y) — 同一性アトム

仕様書では、 OWL は (これらの原子なしで) ルールと組み合わせることで既に同じ表現が可能であるため、sameAsこれらのdifferentFrom原子は言語の表現力を高めるものではないと述べている。^{[ 1 ]}

注意点：推論エンジンは完全な仕様をサポートしていません。なぜなら、推論が決定不能になるからです。アプローチには次の3種類があります。

1. SWRLを一階述語論理（Hoolet）に変換し、定理証明器を用いて推論タスクを実証する。
2. OWL-DLをルールに変換し、そのルールを前方連鎖エンジン（Bossam）に渡す（記述論理とホーンルール形式の間には多くの非互換性があるため、このアプローチではOWL-DLの表現力を完全に網羅することはできない）。
3. タブローアルゴリズム（Pellet）に基づいて、既存のOWL-DL推論エンジンを拡張する。
4. Protégé 4.2には、SWRLルールをサポートするルールビューがオントロジービューに含まれています。
5. Protégéの旧バージョンでは、SWRLTabはSWRLルールの編集と実行をサポートする拡張機能です。^{[リンク削除]}
6. R2ML（REWERSEルールマークアップ言語）はSWRLをサポートしています。
7. 前方連鎖ルールエンジンであるBossamは、SWRLをサポートしています。
8. Hooletは、一階述語論理証明器を使用するOWL-DL推論器の実装であり、SWRLをサポートしています。
9. オープンソースのJava OWL DL推論エンジンであるPelletは、SWRLをサポートしています。
10. KAON2は、OWL-DL、SWRL、およびF-Logicオントロジーを管理するためのインフラストラクチャです。Wayback Machineに2006年1月6日にアーカイブされました
11. RacerProは、SWRLベースの構文で記述されたルールをnRQLルールに変換することで、その処理をサポートします。
12. Stardogは、SWRL推論を用いて質問に答えるようにクエリを書き換えるRDFデータベースまたはトリプルストアです。

記述論理プログラム(DLP) は、ルールと OWL を統合するための別の提案です。^{[ 7 ]} 記述論理プログラムと比較すると、SWRL は正反対の統合アプローチを採用しています。DLP はホーン論理と OWL の交差部分であり、SWRL は (おおよそ) それらの和集合です。^{[ 4 ]} DLP では、結果として得られる言語は非常に独特な記述論理であり、全体的に表現力に乏しい言語です。^{[ 4 ]}

• 説明ロジック
• ウェブオントロジー言語- 「OWL」
• データログ（クエリおよびルール言語）
• セマンティックウェブ
• セマンティックグリッド
• オントロジー（情報科学）
• ビジネスインテリジェンス2.0（BI 2.0）
• セマンティックウィキ

• SWRL：OWLとRuleMLを組み合わせたセマンティックWebルール言語、W3Cメンバー提出文書、2004年5月21日
• SWRLを一階述語論理に拡張するための提案、W3Cメンバー提出文書、2005年4月11日
• OWL Web Ontology Language XMLプレゼンテーション構文、W3Cノート11、2003年6月