論文の概要: 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書き換えは、逆ロールが存在する場合のアトミッククエリよりも、結合クエリでは複雑である。
関連論文リスト
- Rethinking Complex Queries on Knowledge Graphs with Neural Link
Predictors [65.56849255423866]
本稿では,証明可能な推論能力を備えた複雑なクエリを用いたエンドツーエンド学習を支援するニューラルシンボリック手法を提案する。
これまでに検討されていない10種類の新しいクエリを含む新しいデータセットを開発する。
提案手法は,新しいデータセットにおいて先行手法を著しく上回り,既存データセットにおける先行手法を同時に上回っている。
論文 参考訳(メタデータ) (2023-04-14T11:35:35Z) - Logical Message Passing Networks with One-hop Inference on Atomic
Formulas [57.47174363091452]
本稿では,ニューラルネットワーク演算子から知識グラフの埋め込みを分解する,複雑な問合せ応答のためのフレームワークを提案する。
クエリグラフの上に、局所的な原子式上のワンホップ推論とグローバル論理的推論を結びつける論理メッセージパッシングニューラルネットワーク(LMPNN)を提案する。
我々のアプローチは、最先端のニューラルCQAモデルをもたらす。
論文 参考訳(メタデータ) (2023-01-21T02:34:06Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。