Fugu-MT 論文翻訳(概要): First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

論文の概要: First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

arxiv url: http://arxiv.org/abs/2011.09836v1
Date: Thu, 19 Nov 2020 14:24:02 GMT
ステータス: 処理完了
システム内更新日: 2022-09-23 21:35:38.593298
Title: First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics
Title（参考訳）: ホーン記述論理における一階補修性と連結クエリの含意
Authors: Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
Abstract要約: FO-rewriting is more complex for conjunctive query than for atomic query are present, but not other。特にFO書き換えは、逆ロールが存在する場合のアトミッククエリよりも、結合型クエリでは複雑だが、そうでない場合は複雑である。
参考スコア（独自算出の注目度）: 22.32075802508239
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in a description logic between EL and Horn-SHIF, along with related query containment problems. Apart from providing characterizations, we establish complexity results ranging from ExpTime via NExpTime to 2ExpTime, pointing out several interesting effects. In particular, FO-rewriting is more complex for conjunctive queries than for atomic queries when inverse roles are present, but not otherwise.
Abstract（参考訳）: el と horn-shif の記述論理で定式化されたオントロジーの存在下での連結クエリのfo-rewritabilityと関連するクエリ封じ込め問題について検討した。キャラクタリゼーションの提供とは別に、NExpTime経由のExpTimeから2ExpTimeまで、いくつかの興味深い効果を指摘しながら、複雑さの結果を確立します。特にFO書き換えは、逆ロールが存在する場合のアトミッククエリよりも、結合クエリでは複雑である。

関連論文リスト

GRS-QA -- Graph Reasoning-Structured Question Answering Dataset [50.223851616680754]
グラフ推論-構造化質問応答データセット(GRS-QA)を導入する。既存のM-QAデータセットとは異なり、GRS-QAは推論グラフを構築することで複雑な推論経路を明示的にキャプチャする。実験により, LLMは, 様々な推論構造を用いて, 問合せ処理を行う際に, 異なる性能を示すことが明らかとなった。
論文参考訳（メタデータ） (2024-11-01T05:14:03Z)
Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic [84.59255070520673]
大きな言語モデル(LLM)は、時間的推論に関わる際に課題に直面します。本研究では,時間的質問応答タスクに特化して設計された新しいフレームワークであるTempLogicを提案する。
論文参考訳（メタデータ） (2023-05-24T10:57:53Z)
Successive Prompting for Decomposing Complex Questions [50.00659445976735]
最近の研究は、大規模言語モデル(LM)の機能を活用して、数ショットで複雑な質問応答を行う。そこでは、複雑なタスクを単純なタスクに繰り返し分解し、それを解決し、最終解を得るまでプロセスを繰り返します。我々の最良のモデル(逐次プロンプト付き)は、DROPデータセットの数ショットバージョンにおいて、5%の絶対F1の改善を実現します。
論文参考訳（メタデータ） (2022-12-08T06:03:38Z)
Finite Entailment of UCRPQs over ALC Ontologies [0.82179684645881]
我々は、クエリ言語、結合正則経路クエリの結合(UCRPQ)を考える。記述論理 ALC を用いて,UCRPQ の包含のための厳密な 2EXP バウンドを示す。入力オートマトンの背後にある決定論的有限オートマトンによって誘導される解釈の階層化を導入する新しいオートマトンベースの技術がある。
論文参考訳（メタデータ） (2022-04-29T17:38:13Z)
Query2Particles: Knowledge Graph Reasoning with Particle Embeddings [49.64006979045662]
本稿では,知識グラフにエッジを欠いた複雑な論理的クエリに応答するクエリ埋め込み手法を提案する。回答エンティティは、エンティティの埋め込みとクエリの埋め込みの類似性に応じて選択される。埋め込み空間上の様々な領域から多様な回答を検索するために,複雑なKGクエリ応答方法Q2Pを提案する。
論文参考訳（メタデータ） (2022-04-27T11:16:08Z)
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)
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying [17.79631575141597]
本稿では,ALCファミリーの表現的記述論理と接続的クエリの(一意)に基づくオントロジーによるクエリについて考察する。この結果には,このような書き換えが可能なタイミングの正確な特徴と,書き換え可能性を決定するための厳密な複雑性境界が含まれている。
論文参考訳（メタデータ） (2020-10-22T16:40:59Z)
Generation-Augmented Retrieval for Open-domain Question Answering [134.27768711201202]
GAR(Generation-Augmented Retrieval)は、オープンドメインの質問に答える機能である。クエリーに対して多様なコンテキストを生成することは、結果の融合が常により良い検索精度をもたらすので有益であることを示す。 GARは、抽出読取装置を備えた場合、抽出QA設定の下で、自然質問およびトリビアQAデータセットの最先端性能を達成する。
論文参考訳（メタデータ） (2020-09-17T23:08:01Z)
On Finite Entailment of Non-Local Queries in Description Logics [1.3192452635990861]
我々は,過渡的クロージャで拡張されたALCOIQとALCOの論理記述に注目した。いずれの論理に対しても、推移的閉包を伴う連結クエリの有限包含に対して 2EXPTIME 上界を示す。
論文参考訳（メタデータ） (2020-06-30T14:57:12Z)
A tetrachotomy of ontology-mediated queries with a covering axiom [1.749935196721634]
我々の懸念は、標準的なデータベースクエリへの記述とそれらの最適な書き換えを介し、クエリに応答する際のデータ複雑さを効率的に決定することである。我々は、疎結合シロップ(d-シロップ)と呼ばれるブール共役型クエリに焦点を当てる。一部のd-シロップは指数的な大きさの分解能しか持たないが、そのうちのいくつかは二重指数サイズの正存在量書き換えと単帰的データログ書き換えのみである。
論文参考訳（メタデータ） (2020-06-07T14:47:07Z)
VQA-LOL: Visual Question Answering under the Lens of Logic [58.30291671877342]
画像に関する疑問に答えるように訓練された視覚的質問応答システムが,複数の質問の論理的構成に答えられるかどうかを検討する。本稿では,VQAデータセットをベンチマークとして拡張し,論理的構成や言語的変換を含む質問を行う。本稿では,論理的結合性を理解するために質問注意と論理意図を用いたLOLモデルと,新しいFr'echet-Compatibility Lossを提案する。
論文参考訳（メタデータ） (2020-02-19T17:57:46Z)

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