owl - OWL ProtegeのFaCT++推論器

Question

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

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

前もって感謝します。

Answer 1

Reasoner を選択したら、Resoner を開始する必要があります。コマンドは同じメニューにあります。