1
4

2 に答える 2

4

結果を視覚化する方法は2つあります。まず、[クラス]タブを選択すると、2つのビューが利用可能であることがわかります。1つはアサートされた分類法である「クラス階層」ビューで、もう1つは「クラス階層ビュー（推定）」です。名前が示唆するように、推測されたもの。それはあなたにクラスビューを与えます。Kaarelが示唆しているように、[個人]タブで個人の推論を視覚化できます。

Protegeでは、他の多くの個人ビューをUIに追加することもできます。新しい空のタブを作成し、[ビュー]メニューの下の[個人ビュー]サブメニューからビューを選択します。最後に、いくつかの外部グラフィカルツールを使用して視覚化できます。推測された階層をアサートしてファイル（RDF-XML）に保存すると、Welkin、IsaVizなどのツールを使用してグラフィカル表現を取得できます。 。

于 2010-11-15T11:12:32.950 に答える
2

推論が終了したら、に移動してIndividuals-tab、背景が黄色の公理を探します。これらの公理は含意されたものです。パズルのコンポーネント（つまり、男性、ペット、飲み物など）がOWLの個人としてモデル化されている場合、推論者がこれらの個人の間に見つけたいくつかの新しいオブジェクトプロパティアサーションが表示されます。

含意を確認するための他のオプションもあります。

  • View -> Ontology views -> Classification Results必要な公理のリストが表示されます。ただし、必要なすべての公理が表示されない場合があります。たとえば、Protege 4.1で試してみましたが、必要なオブジェクトプロパティアサーションは表示されませんでした。
  • にはDL Query tab、クラス式を入力して、そのすべてのサブクラスと個人（必要なものを含む）をリストすることができます。これは、含意を探索する最も自然な方法かもしれません。

参照：

于 2010-11-13T11:19:25.577 に答える