こんにちは、私はプロテジを始めたばかりです。
protege 4.0.2 をダウンロードしてオントロジーを作成しましたが、その一貫性をチェックする理由がないようです。
推論タブも表示されていますが、fact ++を選択した後、変更が表示されません。
私がそれを正しく行っていない場合、どこからファクト++またはその他の被保護者の推論をダウンロードでき、どのようにインストールできますか.
私はたくさん閲覧しましたが、推論をインストールする方法が見つかりませんでした。
前もって感謝します。
Protege の新しいバージョン (少なくとも 4.3.0) をお勧めします。
Reasoner を有効にするには、いずれかを選択し、同じメニューで [Start reasoner] を選択する必要があります。
新しい推論をインストールするには、Protege インターフェースのプラグイン メニューを使用するか、必要な推論プラグイン (通常は jar として配布されます) をダウンロードして、Protege のインストールにあるプラグイン フォルダ内にコピーします。コピー後に Protege を起動すると、Resoner メニューに Reasoner が表示されます。