Daily Arxiv

世界中で発行される人工知能関連の論文をまとめるページです。
このページはGoogle Geminiを活用して要約し、非営利で運営しています。
論文の著作権は著者および関連機関にあり、共有する際は出典を明記してください。

Fitting Description Logic Ontologies to ABox and Query Examples

Created by
  • Haebom

作者

Maurice Funk, Marvin Grosser, Carsten Lutz

概要

この論文は、オントロジー媒介クエリに触発されたフィッティング問題を研究します。ポジティブサンプルとボイスサンプルのセット $(\Mathcal{A},q)$ (ここで $\mathcal{A}$ は ABox で $q$ はブールクエリです) が与えられると、すべてのポジティブサンプルに対して $\mathcal{A} \cup \mathcal{O} \vDash q$ を満たし、すべてのボイスサンプルに対して $\{t}\ma q$ を満たすオントロジー $\mathcal{O}$ を探す問題です。オントロジー言語では $\mathcal{ALC}$ と $\mathcal{ALCI}$ を、クエリ言語では原子クエリ (AQs)、結合クエリ (CQs)、およびそれらの和集合 (UCQs) を考慮します。結果として生じるすべてのフィッティング問題に対して効果的な特性評価を提供し、フィッティングオントロジーが存在するかどうかを決定する計算の複雑さを決定します。この問題は、AQs と CQs 全体に対して ${\scriptsize CO}NP$ であり、CQs と UCQs に対して $2E{\scriptsize XP}T{\scriptsize IME}$-完全であることがわかりました。これらの結果は、$\mathcal{ALC}$ と $\mathcal{ALCI}$ の両方に対して成立します。

Takeaways、Limitations

Takeaways: $\mathcal{ALC}$ と $\mathcal{ALCI}$ オントロジー言語とさまざまなクエリ言語(AQs、CQs、UCQs)の下でオントロジーフィッティング問題の計算の複雑さを明確に解説しました。これはオントロジーエンジニアリングと知識表現の分野に重要な理論的貢献をします。
Limitations:実際のアプリケーションに適用可能な効率的なアルゴリズムの開発についての議論は欠けています。 $2E{\scriptsize XP}T{\scriptsize IME}$-完全性の結果は、実際のトラブルシューティングの難しさを示唆しています。他のオントロジー言語またはクエリ言語の拡張研究が必要です。
👍