Fugu-MT 論文翻訳(概要): Containment of Simple Regular Path Queries

論文の概要: Containment of Simple Regular Path Queries

arxiv url: http://arxiv.org/abs/2003.04411v1
Date: Mon, 9 Mar 2020 21:05:29 GMT
ステータス: 処理完了
システム内更新日: 2022-12-25 09:17:52.690363
Title: Containment of Simple Regular Path Queries
Title（参考訳）: 単純な正規パスクエリの封じ込め
Authors: Diego Figueira and Adwait Godbole and S. Krishna and Wim Martens and Matthias Niewerth and Tina Trautner
Abstract要約: クエリの包含をテストすることは、知識表現における基本的な推論タスクである。ここでは厳格に制限された断片に焦点をあてるが、実際には非常に関連性が高いことが知られている。クエリの正規表現で使用される機能によらず,np, pitwo, pspace, expspace の完全性の結果が得られた。
参考スコア（独自算出の注目度）: 1.869065967043578
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Testing containment of queries is a fundamental reasoning task in knowledge representation. We study here the containment problem for Conjunctive Regular Path Queries (CRPQs), a navigational query language extensively used in ontology and graph database querying. While it is known that containment of CRPQs is expspace-complete in general, we focus here on severely restricted fragments, which are known to be highly relevant in practice according to several recent studies. We obtain a detailed overview of the complexity of the containment problem, depending on the features used in the regular expressions of the queries, with completeness results for np, pitwo, pspace or expspace.
Abstract（参考訳）: クエリの封じ込めテストは、知識表現における基本的な推論タスクである。本稿では、オントロジーやグラフデータベースクエリで広く使われているナビゲーションクエリ言語CRPQ(Conjunctive Regular Path Queries)の包摂問題について検討する。一般に CRPQ の包接化は expspace-complete であることが知られているが,近年のいくつかの研究によると,本研究は極めて限定的な断片に焦点をあてている。 np,pitwo,pspace,expspaceの完全性によって,クエリの正規表現で使用される特徴に応じて,格納問題の複雑さを詳細に概観する。

関連論文リスト

Controlled Query Evaluation through Epistemic Dependencies [7.502796412126707]
本稿では,このフレームワークの表現能力を示し,CQEの(一対の)結合クエリにおけるデータ複雑性について検討する。本稿では,非循環的依存関係の場合のトラクタビリティを,適切なクエリアルゴリズムを提供することにより証明する。
論文参考訳（メタデータ） (2024-05-03T19:48:07Z)
Meta Operator for Complex Query Answering on Knowledge Graphs [58.340159346749964]
我々は、異なる複雑なクエリタイプではなく、異なる論理演算子型が一般化性を向上させる鍵であると主張する。本稿では,メタ演算子を限られたデータで学習し,様々な複雑なクエリの演算子のインスタンスに適応するメタ学習アルゴリズムを提案する。実験結果から,メタオペレータの学習は,従来のCQAモデルやメタCQAモデルよりも効果的であることが示唆された。
論文参考訳（メタデータ） (2024-03-15T08:54:25Z)
Decomposing Complex Queries for Tip-of-the-tongue Retrieval [72.07449449115167]
複雑なクエリは、コンテンツ要素(例えば、書籍の文字やイベント)、ドキュメントテキスト以外の情報を記述する。この検索設定は舌の先端 (TOT) と呼ばれ、クエリと文書テキスト間の語彙的および意味的重複に依存するモデルでは特に困難である。クエリを個別のヒントに分解し、サブクエリとしてルーティングし、特定の検索者にルーティングし、結果をアンサンブルすることで、このような複雑なクエリを扱うための、シンプルで効果的なフレームワークを導入します。
論文参考訳（メタデータ） (2023-05-24T11:43:40Z)
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies [8.244587597395936]
データベースクエリのリバースエンジニアリングでは、与えられた回答と非回答の集合からクエリを構築することを目指している。時間スタンプデータに対して線形時間論理の正のフラグメントで定式化されたクエリに対して,このクエリ・バイ・サンプル問題について検討する。
論文参考訳（メタデータ） (2023-05-02T08:27:39Z)
Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors [58.340159346749964]
本稿では,証明可能な推論能力を備えた複雑なクエリを用いたエンドツーエンド学習を支援するニューラルシンボリック手法を提案する。これまでに検討されていない10種類の新しいクエリを含む新しいデータセットを開発する。提案手法は,新しいデータセットにおいて先行手法を著しく上回り,既存データセットにおける先行手法を同時に上回っている。
論文参考訳（メタデータ） (2023-04-14T11:35:35Z)
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)
Graph Enhanced BERT for Query Understanding [55.90334539898102]
クエリ理解は、ユーザの検索意図を探索し、ユーザが最も望まれる情報を発見できるようにする上で、重要な役割を果たす。近年、プレトレーニング言語モデル (PLM) は様々な自然言語処理タスクを進歩させてきた。本稿では,クエリコンテンツとクエリグラフの両方を活用可能な,グラフ強化事前学習フレームワークGE-BERTを提案する。
論文参考訳（メタデータ） (2022-04-03T16:50:30Z)
A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases [67.33560134350427]
TempQA-WDは時間的推論のためのベンチマークデータセットである。 Wikidataは、最も頻繁にキュレーションされ、公開されている知識ベースである。
論文参考訳（メタデータ） (2022-01-15T08:49:09Z)
Answering Fuzzy Queries over Fuzzy DL-Lite Ontologies [0.2741266294612776]
ファジィDL-Liteにおける接続クエリとしきい値クエリに応答する問題について検討する。 idemdent G"odel t-norm に対して、古典的ケースへの還元に基づく効果的な方法を提案する。
論文参考訳（メタデータ） (2021-11-23T10:45:54Z)
Answering Counting Queries over DL-Lite Ontologies [0.0]
本稿では,クエリをカウントする一般的な形式を導入し,従来の提案に関連付けるとともに,そのようなクエリに答えることの複雑さについて検討する。我々は、複雑性境界の改善を確立させる、実践的に関連するいくつかの制約について検討する。
論文参考訳（メタデータ） (2020-09-02T11:10:21Z)

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