問題タブ [fact++]

OWL Protege 4.3 をダウンロードしました。オントロジーを構築しましたが、特定の構成の一貫性を確認したいと考えています。

私はソフトウェアにまったく慣れていないので、OWL プロテジで faCT++ を使用する方法がわかりません。「Reasoner > FaCt++」からReasonerを選択できるようですが、どうすればいいですか？

前もって感謝します。

protege を使用して、文字列値とデータ プロパティを比較しようとしています。例えば：

国クラスがあり、そのクラスには、hasCountryName データ プロパティが「イングランド」に設定された個人がいます。私は定義済みのクラスを使用しています。私がやりたいのは、次のようなことです。

国と (hasCountryName 値 "England")

隠者推論を使用すると、私の個人がそのクラスのメンバーであると正しく推論されますが、Fact++ を使用するとそうではありません。Fact++ 推論を使用したいのですが、Fact++ が認識できるようにこれを変更する方法はありますか?

Protégé 4.3を使用しており、推論の結果をオントロジー ファイルに保存したいと考えています。推論を停止すると、すべての結果が消えました。

結果を保存するにはどうすればよいですか?

トピックに基づいて質問があります：

SOF - OWL のアインシュタイン パズル

フクロウでは、すべてのカーディナリティ制限は、オブジェクト プロパティの関数および逆関数プロパティに基づいています。QCRを使って改造しました。

旧型式（例）：

新しいモデル/EDITED/ :

すべての「一部」を「正確に1」に置き換えました。最初のタイプは 2 番目のモデルと同等だと思いますが、推論の FaCT++ は開始から 15 秒後にフリーズします (3GB 以上の RAM が浪費されてフリーズします)。HermiT は凍結していませんが、サブクラス以外は推測できません。

最終ファイル/EDITED/ : FSまたはMR

回答ありがとうございます。

こんにちは、私はプロテジを始めたばかりです。

protege 4.0.2 をダウンロードしてオントロジーを作成しましたが、その一貫性をチェックする理由がないようです。

推論タブも表示されていますが、fact ++を選択した後、変更が表示されません。

私がそれを正しく行っていない場合、どこからファクト++またはその他の被保護者の推論をダウンロードでき、どのようにインストールできますか.

私はたくさん閲覧しましたが、推論をインストールする方法が見つかりませんでした。

前もって感謝します。

オントロジーの各クラスについて、すべての (推測された) 存在制限を取得するにはどうすればよいですか?

私の現在のアプローチは、クラスとオブジェクト プロパティのすべてのペアを反復処理し、制限が満たされているかどうかを確認することです。

• Classes(O) × Classes(O)の各サブクラス(C, D)について:
  • Object properties(O)で定義された各プロパティPに対して:
    • CとPが充足可能な場合:
      • 利回り(C、P、D)

4557 個のクラスと 107 個のオブジェクト プロパティを持つワクチン オントロジーを使用しているため、これはかなり遅いです。1 回限りの計算であっても、より良いアプローチを見て何かを学ぶかもしれません。

近隣ラベルを取得するときにクラッシュしたため、ここでOWLKnowledgeExplorerReasoner提案されているように from JFactを使用しても機能しませんでした (私のテスト ケースを参照してください) 。

OWLAPI、Protégé、またはその他のツールを使用して改善されたソリューションを提案できますか? また、最も具体的なフィラー クラスのみを取得するとよいでしょう。

ありがとう！