論文の概要: A Horn extension of DL-Lite with NL data complexity

• arxiv url: http://arxiv.org/abs/2605.13367v1
• Date: Wed, 13 May 2026 11:26:32 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-14 23:30:28.009991
• Title: A Horn extension of DL-Lite with NL data complexity
• Title（参考訳）: NLデータ複雑性を持つDL-LiteのHhorn拡張
• Authors: Janos Arpasi, Bartosz Jan Bednarczyk, Magdalena Ortiz,
• Abstract要約: 我々は,コアDL-Liteを厳密に拡張し,到達性制限された接続をサポートし,NLの推論を可能にする記述ロジックを導入する。 我々はNLを双方向のレギュラーパスクエリに書き換えることで確立し、OMQAをグラフクエリ言語に拡張する上で、私たちの言語が有望な候補であることを示す最初の証拠を提供する。
• 参考スコア（独自算出の注目度）: 1.376408511310322
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The literature on ontology-mediated query answering (OMQA) has been shaped by two key results: first-order rewritability for DL-Lite, and PTime-hardness of data complexity for essentially every description logic beyond it. This has effectively positioned DL-Lite as the only practical choice for query rewriting, restricting OMQA solutions to first-order queries and ontologies that can be rewritten into them. This AC0 vs. PTime dichotomy is especially limiting if we consider that OMQA targets graph-structured data, and that standard graph query languages (including the recent ISO standards GQL and SQL/PGQ) are typically NL-complete. Towards identifying a rich Horn DL that can be rewritten into graph query languages and that can still express many ELI and DL-Lite ontologies, we introduce a stratification mechanism for ELI that controls the interaction between conjunction and recursion. In this way, we obtain ELbotpreceq, a description logic that strictly extends the core DL-Lite, supports reachability axioms and restricted conjunction, and allows for reasoning in NL. We establish the NL upper bound via a rewriting into nested two-way regular path queries, a fragment of GQL, providing initial evidence that our ontology language is a promising candidate for extending OMQA to graph query languages.
• Abstract（参考訳）: オントロジーによるクエリ応答(OMQA)に関する文献は、DL-Liteの1次書き換え可能性と、それを超えるすべての記述ロジックに対するデータ複雑性のPTime-hardnessという、2つの主要な結果によって形作られてきた。 これにより、DL-Liteはクエリ書き換えのための唯一の実用的な選択肢として位置づけられ、OMQAソリューションを1次クエリやオントロジーに制限し、それらを書き換えることができます。 このAC0対PTimeの二分法は、OMQAがグラフ構造化データをターゲットにしており、標準グラフクエリ言語(最近のISO標準GQLやSQL/PGQを含む)が典型的にNL完全である場合、特に制限される。 グラフクエリ言語に書き換えることができ,多くのELIおよびDL-Liteオントロジーを表現できるリッチなHhorn DLの同定に向けて,協調と再帰の相互作用を制御するELIの階層化機構を導入する。 このようにして、コアDL-Liteを厳密に拡張し、リーチビリティの公理と限定接続をサポートし、NLにおける推論を可能にする記述論理であるELbotpreceqを得る。 我々は、ネストした双方向の正規パスクエリ、GQLの断片に書き換えることで、NL上限を確立し、オントロジー言語がOMQAをグラフクエリ言語に拡張する有望な候補であることを示す最初の証拠を提供する。

関連論文リスト

• OrLog: Resolving Complex Queries with LLMs and Probabilistic Reasoning [51.58235452818926]
  そこで我々は,論理的推論から述語レベルの妥当性推定を分離するニューロシンボリック検索フレームワークOrLogを紹介する。 大規模言語モデル (LLM) は1つの復号のない前方通過において原子述語に対する可視性スコアを提供し、確率論的推論エンジンはクエリ満足度の後方確率を導出する。
  論文  参考訳（メタデータ） (2026-01-30T15:31:58Z)
• FIRESPARQL: A LLM-based Framework for SPARQL Query Generation over Scholarly Knowledge Graphs [0.5120567378386615]
  我々は、RAGとSPARQLクエリ修正層を介してオプションコンテキストで、微調整LDMをコアコンポーネントとしてサポートするモジュラーフレームワークを提案する。 BLEUとROUGEのメトリクスを用いてクエリ精度を測定し、緩和された正確なマッチング(RelaxedEM)を用いてクエリ結果の精度を測定する。 実験結果から,クエリの精度は0.90 ROUGE-L,テストセットの精度は0.85 RelaxedEMに達した。
  論文  参考訳（メタデータ） (2025-08-14T09:08:50Z)
• Effective Instruction Parsing Plugin for Complex Logical Query Answering on Knowledge Graphs [51.33342412699939]
  知識グラフクエリ埋め込み(KGQE)は、不完全なKGに対する複雑な推論のために、低次元KG空間に一階論理(FOL)クエリを埋め込むことを目的としている。 近年の研究では、FOLクエリの論理的セマンティクスをよりよく捉えるために、さまざまな外部情報(エンティティタイプや関係コンテキストなど)を統合している。 コードのようなクエリ命令から遅延クエリパターンをキャプチャする効果的なクエリ命令解析(QIPP)を提案する。
  論文  参考訳（メタデータ） (2024-10-27T03:18:52Z)
• An In-Context Schema Understanding Method for Knowledge Base Question Answering [70.87993081445127]
  大きな言語モデル(LLM)は、言語理解において強力な能力を示しており、この課題を解決するために使用することができる。 既存のメソッドは、当初、スキーマ固有の詳細を使わずにLLMを使用してロジックフォームのドラフトを生成することで、この課題を回避している。 そこで本研究では,LLMが文脈内学習を利用してスキーマを直接理解できる簡易なインコンテキスト理解(ICSU)手法を提案する。
  論文  参考訳（メタデータ） (2023-10-22T04:19:17Z)
• Allies: Prompting Large Language Model with Beam Search [107.38790111856761]
  本研究では,ALIESと呼ばれる新しい手法を提案する。 入力クエリが与えられた場合、ALLIESはLLMを活用して、元のクエリに関連する新しいクエリを反復的に生成する。 元のクエリのスコープを反復的に精錬して拡張することにより、ALLIESは直接検索できない隠れた知識をキャプチャし、利用する。
  論文  参考訳（メタデータ） (2023-05-24T06:16:44Z)
• Improving Text-to-SQL Semantic Parsing with Fine-grained Query Understanding [84.04706075621013]
  トークンレベルのきめ細かいクエリ理解に基づく汎用的モジュール型ニューラルネットワーク解析フレームワークを提案する。 我々のフレームワークは、名前付きエンティティ認識(NER)、ニューラルエンティティリンカ(NEL)、ニューラルエンティティリンカ(NSP)の3つのモジュールから構成されている。
  論文  参考訳（メタデータ） (2022-09-28T21:00:30Z)
• Expressivity of Planning with Horn Description Logic Ontologies (Technical Report) [12.448670165713652]
  我々は、記述論理(DL)オントロジーを計画することで定式化されたオープンワールドな状態制約に対処する。 派生述語を用いた標準PDDLへの新しいコンパイル方式を提案する。 提案手法は,DLで計画する既存のベンチマークよりも優れていることを示す。
  論文  参考訳（メタデータ） (2022-03-17T14:50:06Z)
• Counting Query Answers over a DL-Lite Knowledge Base (extended version) [14.504450881786214]
  知識ベース(KB)上での問合せ応答の複雑さについて検討する。 我々はPTIMEとcoNPの下位境界と、PTIMEとLOGSPACEの上位境界を提供することで既存の結果を改善する。
  論文  参考訳（メタデータ） (2020-05-12T16:01:09Z)
• CQE in Description Logics Through Instance Indistinguishability (extended version) [0.0]
  Description Logics (DL) におけるプライバシ保護クエリ応答に関する研究 DL-Lite$_mathcal$$で応答するデータ複雑性の結果を導出します。 我々は,CQEに対する近似秘密性解答という意味論的に確立された概念を同定する。
  論文  参考訳（メタデータ） (2020-04-24T17:28:24Z)
• When is Ontology-Mediated Querying Efficient? [10.971122842236024]
  関係データベース上でのオントロジーによるクエリの評価について検討する。 OMQ のクラスの特徴として,複雑な組み合わせによるトラクタブルなクラスを提供しています。 また、与えられた OMQ が有界木幅の OMQ に等しいかどうかを決定する複雑さについても検討する。
  論文  参考訳（メタデータ） (2020-03-17T16:32:00Z)

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

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