9

私は多数のオントロジーでペレット推論を使用しており、IRI のリスト (この場合は URL) で info メソッドを実行しました。私が興味を持っている 2 つの指標は、DL 表現力と OWL プロファイルです。

私が取得しているOWLプロファイルは、「OWL 2」、「OWL 2 DL」、「OWL 2 EL」、「OWL 2 QL」、「OWL 2 RL」の範囲です。「OWL 2」と表示されている場合、それはオントロジーがOWL 2でいっぱいであることを意味しますか? 他のバリエーションはすべてDLですか？さまざまなプロファイルを説明する仕様を見つけました (特に表 10) [新しいユーザーとして、複数のハイパーリンクを投稿することはできません。次の 1 つの方が 2 つよりも重要だと思いました] が、これまでのところ、この質問に自分で答えることができませんでした。

「DL表現力」については、その名の通り表現力コード（ALCH、ALCH(D)など）がすべてDLであることを意味します。いわば、コードとその複雑さに関する技術的意味のこの非常に学術的なカタログを見つけましたが、表現力を見て、オントロジーがDLかフルかを少なくとも一般的に判断する方法を知る必要があります。これらのことを説明するヘルプやリンクをいただければ幸いです。

それが役立つのであれば、私がこのようなもので何をしようとしているのかについて、いくつかのコンテキストも提供する必要があります. オントロジー ID 番号 (URL リストから)、それぞれの表現力と OWL プロファイルを持ち、そのオントロジーがフルか、DL か、Lite かを示す「ペレット情報」データから表を作成しているだけです。

4

2 に答える 2

19

EL、QL、またはRLなどのプロファイルの1つを別の方法で述べることができるときに、オントロジーが「OWL2」であるよりもあなたに伝えていること（ペレット？）なら、おそらくそれが報告しているオントロジーには、それぞれの表現性の外側にある構造が含まれていますプロファイルの一部ですが、それ以外は OWL2 仕様に含まれています。

私が理解しているように、各プロファイルは、さまざまな目的に合わせたさまざまな記述ロジック (DL) に基づいています。

  • OWL2 (DL)は、記述ロジックSROIQに基づいており、言語で高度な表現力を持つオントロジーを対象としています。この言語では、推論タスクは比較的高価になる可能性があります。
  • OWL2-ELはEL++に基づいており、TBox でのスケーラブルな推論 (つまり、分類などのほとんどの推論タスクの多項式時間推論) を対象としています。
  • OWL2-QLはDL-Liteに基づいており、(大量のインスタンス データと比較的単純な TBox を処理する場合) ABox でのスケーラブルなクエリ応答を対象としています。
  • OWL2-RLはDescription Logic Programs (DLP)に基づいており、OWL2 DL (ロジック プログラムを使用して処理できるフラグメント) の表現力をサブセット化した表現力を備えています。

私が知る限り、リンク先のカタログは最新のものですが、ロジックに精通しておらず、各言語でカバーされている構成を識別できる場合は、少し使いにくいです。W3C OWL2 プロファイルページでは、各プロファイルの言語表現力を OWL 構文で要約しています。これを参照して、セマンティクスを解釈する必要なく、OWL2 言語プロファイルのそれぞれの交差する表現力を判断することができます (DL に関しては、記述ロジックに慣れていない限り把握するのは困難です。OWL2 の場合は、 -RL、記述ロジック プログラム)。

最後に、Full、DL、および Lite の OWL1「プロファイル」はそれぞれ、さらに別の記述ロジックに対応していることに注意してください。

  • OWL1 DLは、記述ロジックSHOINに対応します。
  • OWL1 Liteは、記述ロジックSHIFに対応します。
  • OWL1 Fullは、少なくとも SHOIN をスーパーセットする決定不能なロジックに対応します (ただし、これが正確に何であるかはよくわかりません! :-)
于 2010-09-10T09:52:03.260 に答える