Fugu-MT 論文翻訳(概要): Conservative Extensions for Existential Rules

論文の概要: Conservative Extensions for Existential Rules

arxiv url: http://arxiv.org/abs/2202.05689v1
Date: Fri, 11 Feb 2022 15:21:24 GMT
ステータス: 処理完了
システム内更新日: 2022-02-14 22:36:12.516584
Title: Conservative Extensions for Existential Rules
Title（参考訳）: 存在規則に対する保守的拡張
Authors: Jean Christoph Jung and Carsten Lutz and Jerzy Macinkowski
Abstract要約: 保守的拡張の自然な2つの概念を考察する。1つは、データベース上の共役的なクエリに対する回答と、もう1つは追跡されたデータベース間の準同型に関するものである。本研究の主な成果は、これらの問題は線形TGDでは決定不能であり、T1が空きジャンクティブであり、フロンティアワンTGDでは決定不能である場合でも、ガードされたTGDでは決定不能であるということである。
参考スコア（独自算出の注目度）: 18.556897156221144
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We study the problem to decide, given sets T1,T2 of tuple-generating dependencies (TGDs), also called existential rules, whether T2 is a conservative extension of T1. We consider two natural notions of conservative extension, one pertaining to answers to conjunctive queries over databases and one to homomorphisms between chased databases. Our main results are that these problems are undecidable for linear TGDs, undecidable for guarded TGDs even when T1 is empty, and decidable for frontier-one TGDs.
Abstract（参考訳）: タプル生成依存(TGD)の与えられた集合 T1,T2 を、T2 が T1 の保守的拡張であるか否かを判定する問題について検討する。保存拡張の2つの自然概念を考える。1つはデータベース上の連結クエリに対する答えと、追跡されたデータベース間の準同型に関するものである。これらの問題は線形TGDでは決定不能であり、T1が空でもガードTGDでは決定不能であり、フロンティアワンTGDでは決定不能である。

関連論文リスト

Temporal Fair Division of Indivisible Items [61.235172150247614]
分割不可能なアイテムが順次到着し,即時かつ無効に割り当てられなければならない公平な分割モデルについて検討する。オンラインフェアディビジョンに関する以前の研究は、これらの制約の下で近似的なうらやみのない結果が得られないことを示してきた。各ラウンドにおける累積割り当てが1項目までの時間的エンビーフリーネス(TEF1)に近似することを確実にすることを目指している。
論文参考訳（メタデータ） (2024-10-18T16:43:36Z)
A Dense Reward View on Aligning Text-to-Image Diffusion with Preference [54.43177605637759]
本稿では,T2I逆鎖の初期ステップを強調する,トラクタブルアライメントの目的を提案する。単一および複数プロンプト生成の実験では,本手法は強い関連するベースラインと競合する。
論文参考訳（メタデータ） (2024-02-13T07:37:24Z)
Classification of 1+1D gapless symmetry protected phases via topological holography [1.6528578738461073]
本研究では, 1+1D ボソニック gSPT と 2+1D SymTFT との1対1対応性を確立する。このデータは, 2+1D量子二重モデルの対称性保存部分閉じ込め(あるいは部分ギャップ境界)と正確に一致していることを示す。
論文参考訳（メタデータ） (2023-10-31T18:02:01Z)
DynGFN: Towards Bayesian Inference of Gene Regulatory Networks with GFlowNets [81.75973217676986]
遺伝子調節ネットワーク(GRN)は、遺伝子発現と細胞機能を制御する遺伝子とその産物間の相互作用を記述する。既存の方法は、チャレンジ(1)、ダイナミックスから循環構造を識別すること、あるいはチャレンジ(2)、DAGよりも複雑なベイズ後部を学習することに焦点を当てるが、両方ではない。本稿では、RNAベロシティ技術を用いて遺伝子発現の「速度」を推定できるという事実を活用し、両方の課題に対処するアプローチを開発する。
論文参考訳（メタデータ） (2023-02-08T16:36:40Z)
Maximum Spatial Perturbation Consistency for Unpaired Image-to-Image Translation [56.44946660061753]
本稿では,最大空間摂動整合(MSPC)と呼ばれる普遍正規化手法を提案する。 MSPCは空間摂動関数(T)と変換演算子(G)を可換(TG = GT)に強制する。提案手法は,ほとんどのI2Iベンチマークにおいて最先端の手法よりも優れている。
論文参考訳（メタデータ） (2022-03-23T19:59:04Z)
ConE: Cone Embeddings for Multi-Hop Reasoning over Knowledge Graphs [73.86041481470261]
Cone Embeddings (ConE) は、接続、解離、否定を扱える最初の幾何学ベースのクエリ埋め込みモデルである。 ConEは、ベンチマークデータセットの既存の最先端メソッドを大幅に上回る。
論文参考訳（メタデータ） (2021-10-26T14:04:02Z)
Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/- [3.42658286826597]
我々は、分離可能なEGDをサブセットとし、より広範な問題のクラスをモデル化できる「無害」と呼ばれるEGDのクラスを提案する。分離可能な EGD とは異なり、無害な EGD は、基底の等式制約を強制する以外に、クエリ応答を専門化する。このような断片において、クエリ応答は決定可能であり、PTIMEはデータ複雑性において決定可能である、と我々は主張する。
論文参考訳（メタデータ） (2021-05-24T08:22:16Z)
GroupifyVAE: from Group-based Definition to VAE-based Unsupervised Representation Disentanglement [91.9003001845855]
他の誘導バイアスを導入しないと、VAEベースの非監視的非絡み合いは実現できない。グループ理論に基づく定義から導かれる制約を非確率的帰納的バイアスとして活用し,vaeに基づく教師なし不連続に対処する。提案手法の有効性を検証するために,5つのデータセット上で,vaeベースモデルが最も目立つ1800モデルをトレーニングした。
論文参考訳（メタデータ） (2021-02-20T09:49:51Z)
Conservative Extensions in Horn Description Logics with Inverse Roles [21.5203698966022]
本稿では,保守的拡張の決定可能性と計算複雑性,および逆の役割を持つホーン記述論理(DL)における分離性や包含性の概念について考察する。本研究の主な成果は,ELI と Horn-ALCHIF 間および Horn-ALC と Horn-ALCHIF 間の全ての DL において2ExpTime 完全であるとともに,ELHIF_bot と ELI 間の全ての DL において2ExpTime 完全である。
論文参考訳（メタデータ） (2020-11-19T14:41:02Z)
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs [10.042878093985458]
制約が存在する場合のオントロジーによるクエリとクエリは2つの重要なデータベース問題である。保護されたTGDとUCQのコンテキストにおける効率的なクエリ評価の限界を実際のクエリとして検討する。
論文参考訳（メタデータ） (2019-12-28T11:08:33Z)

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