Fugu-MT 論文翻訳(概要): From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying

論文の概要: From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying

arxiv url: http://arxiv.org/abs/2010.11848v1
Date: Thu, 22 Oct 2020 16:40:59 GMT
ステータス: 処理完了
システム内更新日: 2022-10-04 07:35:04.002128
Title: From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
Title（参考訳）: 連結クエリからインスタンスクエリへ : オントロジーを介するクエリ
Authors: Cristina Feier, Carsten Lutz, Frank Wolter
Abstract要約: 本稿では,ALCファミリーの表現的記述論理と接続的クエリの(一意)に基づくオントロジーによるクエリについて考察する。この結果には,このような書き換えが可能なタイミングの正確な特徴と,書き換え可能性を決定するための厳密な複雑性境界が含まれている。
参考スコア（独自算出の注目度）: 17.79631575141597
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We consider ontology-mediated queries (OMQs) based on expressive description logics of the ALC family and (unions) of conjunctive queries, studying the rewritability into OMQs based on instance queries (IQs). Our results include exact characterizations of when such a rewriting is possible and tight complexity bounds for deciding rewritability. We also give a tight complexity bound for the related problem of deciding whether a given MMSNP sentence is equivalent to a CSP.
Abstract（参考訳）: 本稿では,ALCファミリーの表現的記述論理に基づくオントロジー型クエリ (OMQ) と,インスタンスクエリ (IQ) に基づくOMQへの書き換え可能性について検討する。以上の結果から,書き換えが可能かの正確な特徴と,再帰可能性を決定するための厳密な複雑さ境界が得られた。また,所与のMSMNP文がCSPと同値であるか否かを判断する問題に対して,厳密な複雑性を与える。

関連論文リスト

GRS-QA -- Graph Reasoning-Structured Question Answering Dataset [50.223851616680754]
グラフ推論-構造化質問応答データセット(GRS-QA)を導入する。既存のM-QAデータセットとは異なり、GRS-QAは推論グラフを構築することで複雑な推論経路を明示的にキャプチャする。実験により, LLMは, 様々な推論構造を用いて, 問合せ処理を行う際に, 異なる性能を示すことが明らかとなった。
論文参考訳（メタデータ） (2024-11-01T05:14:03Z)
Seek and Solve Reasoning for Table Question Answering [49.006950918895306]
本稿では,大規模言語モデルの推論機能を活用して,表に基づく質問応答(TQA)の性能を向上させる。人間がTQAタスクを解く方法に触発されて、私たちはLLMにまず関連する情報を求め、質問に答えるように指示するSeek-and-seekパイプラインを提案します。本稿では,パイプラインから抽出した単一段TQA分解プロンプトについて述べる。
論文参考訳（メタデータ） (2024-09-09T02:41:00Z)
Controlled Query Evaluation through Epistemic Dependencies [7.502796412126707]
本稿では,このフレームワークの表現能力を示し,CQEの(一対の)結合クエリにおけるデータ複雑性について検討する。本稿では,非循環的依存関係の場合のトラクタビリティを,適切なクエリアルゴリズムを提供することにより証明する。
論文参考訳（メタデータ） (2024-05-03T19:48:07Z)
Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文参考訳（メタデータ） (2023-06-21T07:34:27Z)
Finite Entailment of UCRPQs over ALC Ontologies [0.82179684645881]
我々は、クエリ言語、結合正則経路クエリの結合(UCRPQ)を考える。記述論理 ALC を用いて,UCRPQ の包含のための厳密な 2EXP バウンドを示す。入力オートマトンの背後にある決定論的有限オートマトンによって誘導される解釈の階層化を導入する新しいオートマトンベースの技術がある。
論文参考訳（メタデータ） (2022-04-29T17:38:13Z)
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics [17.17606390337468]
我々は,MDDLog (Monadic Disjunctive Datalog) と MMSNP (制約満足度問題の論理的一般化) と Ontology-mediated query (OMQs) の3つの密接に関連する形式におけるクエリの包摂について検討した。 2NEXPTIME完全性を証明し、この結果をモナディックな解離データログとOMQに拡張する。
論文参考訳（メタデータ） (2020-10-22T16:25:00Z)
CQE in Description Logics Through Instance Indistinguishability (extended version) [0.0]
Description Logics (DL) におけるプライバシ保護クエリ応答に関する研究 DL-Lite$_mathcal$$で応答するデータ複雑性の結果を導出します。我々は,CQEに対する近似秘密性解答という意味論的に確立された概念を同定する。
論文参考訳（メタデータ） (2020-04-24T17:28:24Z)
Query Focused Multi-Document Summarization with Distant Supervision [88.39032981994535]
既存の作業は、クエリとテキストセグメント間の関連性を推定する検索スタイルの手法に大きく依存している。本稿では,クエリに関連するセグメントを推定するための個別モジュールを導入した粗大なモデリングフレームワークを提案する。我々のフレームワークは、標準QFSベンチマークにおいて、強力な比較システムよりも優れていることを実証する。
論文参考訳（メタデータ） (2020-04-06T22:35:19Z)
When is Ontology-Mediated Querying Efficient? [10.971122842236024]
関係データベース上でのオントロジーによるクエリの評価について検討する。 OMQ のクラスの特徴として,複雑な組み合わせによるトラクタブルなクラスを提供しています。また、与えられた OMQ が有界木幅の OMQ に等しいかどうかを決定する複雑さについても検討する。
論文参考訳（メタデータ） (2020-03-17T16:32:00Z)
VQA-LOL: Visual Question Answering under the Lens of Logic [58.30291671877342]
画像に関する疑問に答えるように訓練された視覚的質問応答システムが,複数の質問の論理的構成に答えられるかどうかを検討する。本稿では,VQAデータセットをベンチマークとして拡張し,論理的構成や言語的変換を含む質問を行う。本稿では,論理的結合性を理解するために質問注意と論理意図を用いたLOLモデルと,新しいFr'echet-Compatibility Lossを提案する。
論文参考訳（メタデータ） (2020-02-19T17:57:46Z)
Conditional Self-Attention for Query-based Summarization [49.616774159367516]
条件依存モデリング用に設計されたニューラルネットワークモジュールであるテキスト条件自己アテンション(CSA)を提案する。 DebatepediaとHotpotQAベンチマークデータセットの実験は、CSAがバニラトランスフォーマーを一貫して上回っていることを示している。
論文参考訳（メタデータ） (2020-02-18T02:22:31Z)

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