アインシュタインのリドルをプロテジェのフクロウで解決しながら個々の結果を得るにはどうすればよいですか?
-
30-09-2019 - |
質問
オントロジーと推論をよりよく理解したいと思います。興味深いパズルが呼ばれています アインシュタインのなぞなぞ オントロジーと推論の助けを借りて解決できるネットで。そのサイトからOWLオントロジーをダウンロードし、Protege 4.0.2にインポートしました(4.1で動作しません)。私はそれによって推論を始めることができます 推論者→Fact ++, 推論者→分類…, 、しかし、私は知りません、個々の結果を視覚化する方法。これどうやってするの?
解決
結果を視覚化できる2つの方法があります。まず、「クラス」タブを選択すると、2つのビューが利用可能であることがわかります。「クラス階層」ビュー、これは主張された分類法と「クラス階層ビュー(推測)」です。名前は、推測されたものを示唆しています。それはあなたにクラスビューを与えます。 Kaarelが示唆するように、[個人]タブで推論する個人を視覚化できます。
Protegeを使用すると、UIに他の多くの個人ビューを追加することもできます。新しい空のタブを作成し、「ビュー」メニューの下にある「個人ビュー」サブメニューからビューを選択します。最後に、いくつかの外部グラフィカルツールを使用して視覚化できます。推測された階層を主張してファイルに保存すると(RDF-XML)、 ウェルキン, イサヴィス グラフィカル表現を取得するなど。
他のヒント
推論が終了した後、に行きます Individuals-tab
そして、黄色の背景を持つ公理を探してください。これらの公理は伴うものです。パズルのコンポーネント(つまり、男性、ペット、飲み物など)がフクロウの個人としてモデル化されている場合、これらの個人の間で推論者が見つけた新しいオブジェクトプロパティアサーションが表示されます。
含意を見るための他のオプションもあります。
View -> Ontology views -> Classification Results
伴われた公理のリストが表示されます。たとえば、Protege 4.1で試したことがあり、オブジェクトプロパティのアサーションが必要であることはありませんでした。- の中に
DL Query tab
クラスの表現を入力して、すべてのサブクラスと個人(enteainedのものを含む)をリストすることができます。これは、含意を探る最も自然な方法かもしれません。
参照:
- エースの例の例: :「ゼブラパズル」の例が含まれており、Protege 4.1で動作します
- Stackoverflow質問:「誰がゼブラを所有している」プログラムで解決しますか?: :フクロウベースのソリューションはまだ含まれていません:(