0

Protege 5にOWL オントロジーがあります。いくつかの DL クエリを実行しようとすると

DropOff exactly 1

これにより、objectProperty DropOff によって厳密に 1 対 1 のカーディナリティによって関連付けられたすべてのクラスが返されます。

ペレット推論を使用すると、「この推論は名前付きクラスをサポートしていません」という例外が発生します。Hermit reasonerを使用している間は問題ありません。

名前付きクラスは、参照 URL を持つクラスであることを知っています。ここに私のポイントがあります：

  • 名前のないクラスを使用する背後にあるセマンティックは何ですか?
  • 名前付きクラスがペレットでサポートされていないのはなぜですか?
  • 私のクエリは、ペレットに受け入れられるような方法で表現できますか?

ありがとう。

4

1 に答える 1

1

ペレットのエラーは誤って報告される可能性があります。"This reasoner only supports named classes"ペレットのソースコード（IncrementalClassifier.javaファイル内）で文を見つけることができただけです。この例外は、インクリメンタル推論モードが使用され、「このクラスと同等のクラスをすべて検索する」などのクエリが実行された場合にスローされます。たとえば、DropOff exactly 1ペレット インクリメンタルがサポートしていない匿名クラス式です。

Protege の Pellet でインクリメンタル機能を使用しないことが可能かどうかはわかりません。この動作が設定できない場合、唯一の回避策はペレット プラグインを変更して段階的に動作しないようにすることです。ただし、これは他のクエリのパフォーマンスに影響します。

于 2014-10-13T13:55:34.087 に答える