Fugu-MT 論文翻訳(概要): First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries

論文の概要: First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries

arxiv url: http://arxiv.org/abs/2011.09314v1
Date: Wed, 18 Nov 2020 14:31:17 GMT
ステータス: 処理完了
システム内更新日: 2022-09-24 04:46:54.365430
Title: First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
Title（参考訳）: フロンティア保護型オントロジ型問合せの1次書き換え可能性
Authors: Pablo Barcelo, Gerald Berger, Carsten Lutz, Andreas Pieris
Abstract要約: オントロジーを介するクエリ(OMQ)は、(フロンティアの)ガードされた存在ルールと(一意の)結合的なクエリに基づいています。 FO-rewritability(FO-rewritability)の問題,すなわち,OMQを1次クエリとして書き直すことができるかどうかを検討する。
参考スコア（独自算出の注目度）: 10.799071778322233
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We focus on ontology-mediated queries (OMQs) based on (frontier-)guarded existential rules and (unions of) conjunctive queries, and we investigate the problem of FO-rewritability, i.e., whether an OMQ can be rewritten as a first-order query. We adopt two different approaches. The first approach employs standard two-way alternating parity tree automata. Although it does not lead to a tight complexity bound, it provides a transparent solution based on widely known tools. The second approach relies on a sophisticated automata model, known as cost automata. This allows us to show that our problem is 2ExpTime-complete. In both approaches, we provide semantic characterizations of FO-rewritability that are of independent interest.
Abstract（参考訳）: 我々は,(より前に)保護された存在規則と(結合性のある)結合性クエリに基づくオントロジー型クエリ(omq)に注目し,omqが一階のクエリとして書き換えられるかどうかという,fo-rewritabilityの問題を考察する。私たちは2つの異なるアプローチを採用します。最初のアプローチでは、標準的な双方向交互パリティツリーオートマトンを使用する。厳密な複雑性境界には至らないが、広く知られているツールに基づいた透明なソリューションを提供する。第2のアプローチは、コストオートマトンとして知られる高度なオートマトンモデルに依存している。これにより、2ExpTime完全であることを示すことができます。どちらの手法も、独立性のあるFO-rewritabilityのセマンティックな特徴を提供する。

関連論文リスト

Probabilistic Tree-of-thought Reasoning for Answering Knowledge-intensive Complex Questions [93.40614719648386]
大規模言語モデル(LLM)は、知識集約的な複雑な質問にチェーン・オブ・シント(CoT)推論で答えることができる。最近の研究は、CoT推論を強化するための外部知識の回収に向けられている。確率的ツリー・オブ・シント推論(ProbTree)という新しいアプローチを提案する。
論文参考訳（メタデータ） (2023-11-23T12:52:37Z)
Answering Ambiguous Questions via Iterative Prompting [84.3426020642704]
オープンドメインの質問応答では、質問のあいまいさのため、複数の妥当な回答が存在する可能性がある。ひとつのアプローチは、すべての有効な回答を直接予測することですが、これは、妥当性と多様性のバランスに苦労する可能性があります。本稿では,あいまいな疑問に答える既存手法の欠陥に対処するため,AmbigPromptを提案する。
論文参考訳（メタデータ） (2023-07-08T04:32:17Z)
Successive Prompting for Decomposing Complex Questions [50.00659445976735]
最近の研究は、大規模言語モデル(LM)の機能を活用して、数ショットで複雑な質問応答を行う。そこでは、複雑なタスクを単純なタスクに繰り返し分解し、それを解決し、最終解を得るまでプロセスを繰り返します。我々の最良のモデル(逐次プロンプト付き)は、DROPデータセットの数ショットバージョンにおいて、5%の絶対F1の改善を実現します。
論文参考訳（メタデータ） (2022-12-08T06:03:38Z)
CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version) [13.169982133542266]
動的CQE法,すなわち,従来のクエリの評価に基づいて,現在のクエリに対する応答を変更することを提案する。我々は、機密データを保護できるだけでなく、最大限に協力できるシステムを目指しています。
論文参考訳（メタデータ） (2022-07-22T15:51:15Z)
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)
Logically Consistent Loss for Visual Question Answering [66.83963844316561]
ニューラルネットワークに基づく視覚質問応答(VQA)の現在の進歩は、同じ分布(すなわち、d)の仮定による一貫性を保証することができない。マルチタスク学習フレームワークにおける論理的一貫した損失を定式化することにより,この問題に対処するための新しいモデルに依存しない論理制約を提案する。実験により、提案された損失公式とハイブリッドバッチの導入により、一貫性が向上し、性能が向上することを確認した。
論文参考訳（メタデータ） (2020-11-19T20:31:05Z)
Open Question Answering over Tables and Text [55.8412170633547]
オープンな質問応答(QA)では、質問に対する回答は、質問に対する回答を含む可能性のある文書を検索して分析することによって生成される。ほとんどのオープンQAシステムは、構造化されていないテキストからのみ情報を取得することを検討している。我々は,このタスクの性能を評価するために,新しい大規模データセット Open Table-and-Text Question Answering (OTT-QA) を提案する。
論文参考訳（メタデータ） (2020-10-20T16:48:14Z)
Tradeoffs in Sentence Selection Techniques for Open-Domain Question Answering [54.541952928070344]
文選択のためのモデルの2つのグループについて述べる。QAベースのアプローチは、解答候補を特定するための完全なQAシステムを実行し、検索ベースのモデルは、各質問に特に関連する各節の一部を見つける。非常に軽量なQAモデルは、このタスクではうまく機能するが、検索ベースモデルは高速である。
論文参考訳（メタデータ） (2020-09-18T23:39:15Z)
A tetrachotomy of ontology-mediated queries with a covering axiom [1.749935196721634]
我々の懸念は、標準的なデータベースクエリへの記述とそれらの最適な書き換えを介し、クエリに応答する際のデータ複雑さを効率的に決定することである。我々は、疎結合シロップ(d-シロップ)と呼ばれるブール共役型クエリに焦点を当てる。一部のd-シロップは指数的な大きさの分解能しか持たないが、そのうちのいくつかは二重指数サイズの正存在量書き換えと単帰的データログ書き換えのみである。
論文参考訳（メタデータ） (2020-06-07T14:47:07Z)
Discriminative Learning via Adaptive Questioning [6.378513792050356]
本稿では,候補の能力を複数のカテゴリの1つに最適に分類する,適応的な質問列を設計する問題を考察する。候補の能力は未知のパラメータとしてモデル化され、質問の難易度とともに、s/h が質問に正しく答えられる可能性を決定する。
論文参考訳（メタデータ） (2020-04-11T16:50:00Z)

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