protegeSWRLタブはProtege4バージョンでは使用できません。protege4.1とprotege4.2の両方を試しました。protegeでSWRLルールを編集するために言及されたaxiomeプラグインは、protege3バージョンでのみ機能すると言われています。
誰かがプラグインまたはプラグインをプロテッジのSWRLルールを編集するために含める手順を教えてもらえますか?
SWRL ルールは Protégé 4 で編集できますが、Protégé 3 のような優れたインターフェイスでは編集できません。メニューの [ウィンドウ] -> [ビュー] -> [オントロジー ビュー] に移動すると、[ルール] オプションがあります。それを選択して、「ビュー」、つまり現在のタブの四角形として追加します。ルールは次のように記述します。
parent(?x,?y), brother(?y,?z) -> uncle(?x,?z)
ここで、プロパティは二項述語として記述され、クラスは単項述語として記述され、変数には疑問符の接頭辞が付けられ、ヘッドは本体から分離され->
、定数はオントロジー接頭辞なしで記述されます。使用するプロパティ、クラス、および個体がそれぞれのタブで事前に定義されていない場合は機能しません。
Protege 4.x で SWRL 推論をサポートするペレット プラグインがあります。
http://clarkparsia.com/pellet/protege/ (Reasonerで推論開始可能/Pellet選択後推論開始)
これは、Protege 4.x と SWRL の統合に関する非常に完全なチュートリアルです。
OREオントロジールールエディターを使用できます。私はそれを使用していますが、うまく機能します http://sourceforge.net/projects/ore/