1

ペレット推論器でいくつかのオントロジーを分析していますが、奇妙な結果が得られています。オントロジーで「ペレット情報」メソッドを実行し、OWL プロファイルを DL 表現力と比較すると、同じプロファイルでも表現力が異なるオントロジーが得られることがあります。それは少なくとももっともらしいように思えますが、同じ表現力を持つが異なる OWL プロファイルを持つオントロジーも見つけています。そもそもプロファイルはオントロジーの表現力と還元可能性のしるしであるため、これがどのように可能になるのでしょうか?

4

1 に答える 1

2

一般に OWL2 ( SROIQに基づく) の下のオントロジーと、たとえば OWL-EL ( EL++に基づく) などのサブ言語であるプロファイルを比較することを検討している場合、オントロジーが持つことができると考えられます。 SROIQはEL++を含むため、完全なOWL2を「プロファイル」と見なし、表現性をDL表現性と見なす場合、同じ表現性と異なる「プロファイル」 。

ただし、プロファイルとは、3 つの異なるOWL2 プロファイルのいずれかを厳密に意味する場合です。OWL2-EL、OWL2-QL、およびOWL2-RLの場合、異なる OWL2 プロファイルを持つ 2 つのオントロジーが実際に同じ表現性 (少なくとも DL 表現性) を持つ可能性は依然としてあります。交差する表現力。

たとえば、 OWL2-EL プロファイル ( EL++に基づく) および OWL2-QL プロファイル ( DL-Liteに基づく) のオントロジーでは、これらの記述ロジックはどちらも次のようなものを表現できます。

  • 概念包含公理
  • 概念と役割に対するインスタンス アサーション
  • 実存財産の制限
  • 接続詞概念表現

したがって、どちらのプロファイル (EL、QL) のオントロジーも、両方に共通の DL コンストラクトの使用に制限されており、同じ DL 表現力を持つことになります。

于 2010-09-08T07:14:49.473 に答える