論文の概要: A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL
- arxiv url: http://arxiv.org/abs/2608.04945v1
- Date: Wed, 05 Aug 2026 15:12:01 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-06 14:48:43.969269
- Title: A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL
- Title（参考訳）: Horn-AlchiAtomic QueriesをGQLに書き直すための汎用条件
- Authors: David Carral, Calixte Gruson, Quentin Manière,
- Abstract要約: 本稿では,一階書き直し可能なクエリのセマンティクスをキャプチャする新しい形式体系であるDL Automaticaを紹介する。
我々は,多種多様なDLオートマトンを,接続性のある2方向正規経路クエリの結合に書き換えることができる。
これにより、GQL-rewritableであるHhorn-AL OMCHIQの幅広いクラスが得られる。
- 参考スコア（独自算出の注目度）: 6.033257307910245
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The emergence of the ISO standard GQL introduces a powerful query language extending first-order logic with controlled recursion, raising the question of its applicability to evaluation of ontology-mediated queries (OMQs). We focus on OMQs consisting of atomic queries over ontologies expressed in Horn-ALCHI, an expressive Description Logic that is not, in general, first-order rewritable. To address this, we introduce DL automata, a novel formalism that captures the semantics of such OMQs via runs over fact sets. We then identify a large class of DL automata that can be rewritten into unions of conjunctive two-way regular path queries (UC2RPQs), a central fragment of GQL. Our class of automata relies on a stratification of their states, ruling out specific forms of cyclic dependencies known to raise the complexity. This yields a broad class of Horn-ALCHI OMQs that are GQL-rewritable.
- Abstract（参考訳）: ISO標準GQLの出現は、制御された再帰で一階述語論理を拡張する強力なクエリ言語を導入し、オントロジーによるクエリ(OMQ)の評価にその適用性に関する疑問を提起した。
我々は,一階述語論理である Horn-ALCHI で表現されたオントロジー上の原子的クエリからなる OMQ に注目した。
これを解決するために,本論文では,ファクトセット上の実行を通じて,そのようなOMQのセマンティクスをキャプチャする新しい形式体系であるDLautomaticを紹介した。
次に、GQLの中心的なフラグメントである連結二方向正規経路クエリ(UC2RPQ)の結合に書き換えることができる大規模なDLオートマトンを同定する。
我々のオートマタのクラスは、その状態の成層化に依存し、複雑性を高めるために知られている特定の環状依存の形式を除外します。
これにより、GQL-rewritableであるHhorn-ALCHI OMQsの幅広いクラスが得られる。
関連論文リスト
- A Horn extension of DL-Lite with NL data complexity [1.376408511310322]
我々は,コアDL-Liteを厳密に拡張し,到達性制限された接続をサポートし,NLの推論を可能にする記述ロジックを導入する。
我々はNLを双方向のレギュラーパスクエリに書き換えることで確立し、OMQAをグラフクエリ言語に拡張する上で、私たちの言語が有望な候補であることを示す最初の証拠を提供する。
論文 参考訳（メタデータ） (2026-05-13T11:26:32Z) - Graph Query Generation with Constraint-guided Large Language Agents [9.418317695662516]
UniQGenは制約ベースのフレームワークで、代表的なグラフクエリ節を抽出し、洗練する。
我々は、UniQGenが最先端のグラフクエリ生成技術よりも精度と効率の両面で優れていることを示す。
我々はCypher出力とNeptune対応のFreebaseスナップショットをリリースし、言語間KGQA研究を支援する。
論文 参考訳（メタデータ） (2026-04-09T21:50:47Z) - KBQA-R1: Reinforcing Large Language Models for Knowledge Base Question Answering [64.62317305868264]
テキスト模倣から強化学習によるインタラクション最適化へパラダイムをシフトするフレームワークである textbfKBQA-R1 を提案する。
KBQAを多ターン決定プロセスとして扱うことで,行動のリストを用いて知識ベースをナビゲートすることを学ぶ。
WebQSP、GrailQA、GraphQuestionsの実験では、KBQA-R1が最先端のパフォーマンスを実現している。
論文 参考訳（メタデータ） (2025-12-10T17:45:42Z) - 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) - Respecting Temporal-Causal Consistency: Entity-Event Knowledge Graphs for Retrieval-Augmented Generation [69.45495166424642]
我々は,物語文書における時間的,因果的,文字的整合性を理解するために,頑健で差別的なQAベンチマークを開発する。
次に、バイナリマッピングでリンクされたエンティティとイベントのサブグラフを分離したまま保持するデュアルグラフフレームワークであるEntity-Event RAG(E2RAG)を紹介します。
ChronoQA全体で、我々のアプローチは最先端の非構造化およびKGベースのRAGベースラインよりも優れており、因果一貫性クエリや文字整合性クエリが顕著である。
論文 参考訳（メタデータ） (2025-06-06T10:07:21Z) - Neuro-Symbolic Query Compiler [57.78201019000895]
本稿では,このギャップを埋めるために,言語文法規則とコンパイラ設計に触発されたニューラルシンボリックなフレームワークQCompilerを提案する。
理論上は、複雑なクエリを形式化するのに最小でも十分なバックス・ナウアー形式(BNF)の文法を$G[q]$で設計する。
葉のサブクエリの原子性は、より正確な文書検索と応答生成を保証し、複雑なクエリに対処するRAGシステムの能力を大幅に改善する。
論文 参考訳（メタデータ） (2025-05-17T09:36:03Z) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。