論文の概要: Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models

• arxiv url: http://arxiv.org/abs/2604.26976v1
• Date: Tue, 28 Apr 2026 08:53:15 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-01 16:31:53.688941
• Title: Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
• Title（参考訳）: Horn DLオントロジーをABoxに適合させ、クエリの例:シミュレーション量化器と有限モデル
• Authors: Marvin Grosser, Carsten Lutz,
• Abstract要約: 本稿では,記述論理(DL)オントロジーを肯定的,否定的な事例の集合に適合させる問題について検討する。 我々は、原子クエリ(AQ)、結合クエリ(ルートCQ)、およびそれらの結合(ルートUCQ)を考える。 シミュレーションに基づく適合オントロジーの存在のキャラクタリゼーションを提供し、それらを決定手順の開発に利用し、正確な計算複雑性を明らかにする。
• 参考スコア（独自算出の注目度）: 5.134998749955833
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We study the problem of fitting a description logic (DL) ontology to a given set of positive and negative examples that take the form of an ABox and a Boolean query. While previous work has investigated this problem for the expressive DLs ALC and ALCI, we here focus on the Horn DLs EL and ELI, as well as their extensions with the bottom concept. As the query language, we consider atomic queries (AQs), conjunctive queries (rooted CQs), and unions thereof (rooted UCQs). We provide characterization of the existence of a fitting ontology based on simulations, use them to develop decision procedures, and clarify the exact computational complexity. For AQs, the problem is in PTime for both EL and ELI. For rooted CQs and UCQ, it is Sigma_P^2-complete for EL and ExpTime-complete for ELI. Adding the bottom concept does not change any of these complexities. Interestingly, moving from ALC and ALCI to EL and ELI introduces additional technical challenges rather than simplifying the matter.
• Abstract（参考訳）: 本稿では,記述論理(DL)オントロジーを,ABoxとBooleanクエリの形式を取り入れた肯定的,否定的な例のセットに適合させる問題について検討する。 従来の研究は,表現型DLのALCとALCIに関してこの問題を調査してきたが,本研究では,Hhorn DLのELとERIと,下位概念による拡張に焦点をあてる。 クエリ言語として、原子クエリ(AQ)、結合クエリ(rooted CQ)、およびそれらの結合(rooted UCQ)を考える。 シミュレーションに基づく適合オントロジーの存在のキャラクタリゼーションを提供し、それらを決定手順の開発に利用し、正確な計算複雑性を明らかにする。 AQ にとって問題は EL と ELI のどちらにおいても PTime にある。 ルート付きCQとUCQでは、ELではSigma_P^2-complete、ELIではExpTime-completeである。 下位の概念を追加することは、これらの複雑さを一切変えない。 興味深いことに、ALC と ALCI から EL と ELI への移行は、問題を単純化するよりも、さらなる技術的課題をもたらす。

関連論文リスト

• How Hard is it to Decide if a Fact is Relevant to a Query? [1.6058099298620423]
  データベース D が与えられたとき、ブール共役クエリ (CQ) q と D の事実 f は、f が q wrt に関連するかどうかを決定する。 自己結合(同じ関係を持つ複数の原子)を犯人とみなす。 この結果から,クエリ評価よりも関連性の判断が困難であることや,効率のよい関連性計算を許容するクエリの自然クラスを同定した。
  論文  参考訳（メタデータ） (2026-04-24T10:29:27Z)
• OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning [51.58235452818926]
  そこで我々は,論理的推論から述語レベルの妥当性推定を分離するニューロシンボリック検索フレームワークOrLogを紹介する。 大規模言語モデル (LLM) は1つの復号のない前方通過において原子述語に対する可視性スコアを提供し、確率論的推論エンジンはクエリ満足度の後方確率を導出する。
  論文  参考訳（メタデータ） (2026-01-30T15:31:58Z)
• The benefits of query-based KGQA systems for complex and temporal questions in LLM era [55.20230501807337]
  大規模言語モデルは質問回答(QA)に優れていますが、マルチホップ推論や時間的質問には苦戦しています。 クエリベースの知識グラフ QA (KGQA) は、直接回答の代わりに実行可能なクエリを生成するモジュール形式の代替手段を提供する。 WikiData QAのためのマルチステージクエリベースのフレームワークについて検討し、課題のあるマルチホップと時間ベンチマークのパフォーマンスを向上させるマルチステージアプローチを提案する。
  論文  参考訳（メタデータ） (2025-07-16T06:41:03Z)
• Querying Circumscribed Description Logic Knowledge Bases [9.526604375441073]
  循環は非単調な記述論理を定義する主要なアプローチの1つである。 本研究は, (U)CQ 評価における DL KB の判定可能性を示す。 また、より単純な原子クエリ(AQ)についても研究する。
  論文  参考訳（メタデータ） (2023-06-07T15:50:15Z)
• Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints [48.831178420807646]
  我々は、EVentuality中心のKGに基づいて、ニューラルネットワークを利用して複雑な論理的クエリに応答する新しいフレームワークを提案する。 複合事象性クエリ・アンサーリング(CEQA)は、時間的順序と事象の発生を規定する暗黙の論理的制約を考察する。 また、CEQAタスク上での最先端のニューラルクエリエンコーダの性能を大幅に向上させるメモリ拡張クエリ(MEQE)を提案する。
  論文  参考訳（メタデータ） (2023-05-30T14:29:24Z)
• An Empirical Comparison of LM-based Question and Answer Generation Methods [79.31199020420827]
  質問と回答の生成(QAG)は、コンテキストが与えられた質問と回答のペアのセットを生成することで構成される。 本稿では,シーケンス・ツー・シーケンス言語モデル(LM)を微調整する3つの異なるQAG手法を用いて,ベースラインを確立する。 実験により、学習時間と推論時間の両方で計算的に軽量なエンドツーエンドQAGモデルが一般に堅牢であり、他のより複雑なアプローチよりも優れていることが示された。
  論文  参考訳（メタデータ） (2023-05-26T14:59:53Z)
• Reasoning over Hierarchical Question Decomposition Tree for Explainable Question Answering [83.74210749046551]
  ヘテロジニアス知識統合のための質問分解手法を提案する。 階層的質問分解木(RoHT)を用いた新しい2段階XQAフレームワークを提案する。 複雑なQAデータセットKQA ProとMusiqueの実験は、我々のフレームワークがSOTAメソッドを著しく上回っていることを示している。
  論文  参考訳（メタデータ） (2023-05-24T11:45:59Z)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard [11.193504036335503]
  論理に基づく知識表現では、クエリ応答は基本的に単に満足度チェックに置き換えられている。 基本記述論理 ALC の知識ベースでは、連結クエリ(CQ)応答の計算複雑性はExpTime-complete であることが知られている。 自己演算子のみによるALCの拡張さえも,CQ含意の複雑さを2ExpTimeに高めることを示す。
  論文  参考訳（メタデータ） (2021-06-29T08:12:03Z)
• Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies [22.218000867486726]
  EL概念はELIオントロジーの存在下では学習できないことを示す。 また,EL概念はELIオントロジーの存在下では学習できないことを示す。
  論文  参考訳（メタデータ） (2021-05-18T07:45:37Z)
• Conditional Self-Attention for Query-based Summarization [49.616774159367516]
  条件依存モデリング用に設計されたニューラルネットワークモジュールであるテキスト条件自己アテンション(CSA)を提案する。 DebatepediaとHotpotQAベンチマークデータセットの実験は、CSAがバニラトランスフォーマーを一貫して上回っていることを示している。
  論文  参考訳（メタデータ） (2020-02-18T02:22:31Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。