Fugu-MT 論文翻訳(概要): On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

論文の概要: On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles

arxiv url: http://arxiv.org/abs/2010.11503v1
Date: Thu, 22 Oct 2020 07:44:00 GMT
ステータス: 処理完了
システム内更新日: 2022-10-04 07:35:55.011659
Title: On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
Title（参考訳）: 推移的役割に関する数制限付きSQを超える有限および非制限クエリエンターメントについて
Authors: Thomas Gogacz, V\'ictor Guti\'errez-Basulto, Yazm\'in Ib\'a\~nez-Garc\'ia, Jean Christoph Jung, Filip Murlak
Abstract要約: 2EXPTIME上界は,拡張と有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意性を示す。逆の場合、インスタンスクエリの制限なしかつ有限な包含に対して2EXPTIME完全性を確立する。
参考スコア（独自算出の注目度）: 8.107243891682305
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We study the description logic SQ with number restrictions applicable to transitive roles, extended with either nominals or inverse roles. We show tight 2EXPTIME upper bounds for unrestricted entailment of regular path queries for both extensions and finite entailment of positive existential queries for nominals. For inverses, we establish 2EXPTIME-completeness for unrestricted and finite entailment of instance queries (the latter under restriction to a single, transitive role).
Abstract（参考訳）: 本稿では,過渡的役割に適用可能な数制限を持つ記述論理SQについて検討する。拡張に対する正規経路問合せと名目に対する正の存在問合せを有限に制限した非制限付き経路問合せに対しては, 2exptime upperbounds が厳密であることを示す。逆の場合、インスタンスクエリ(後者は1つのトランジッティブなロールに制限されている)の非制限的かつ有限な制約に対する2exptime-completenessを確立する。

関連論文リスト

DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for In-Context Learning [66.85379279041128]
そこで本研究では,Dual Queries と Low-rank approximation Re- rank を利用して,文脈内学習のための例を自動選択するフレームワークを提案する。 DQ-LoRe は GPT-4 の自動選択において最先端の手法よりも優れ、92.5% から94.2% まで性能が向上した。
論文参考訳（メタデータ） (2023-10-04T16:44:37Z)
Qubit Number Optimization for Restriction Terms of QUBO Hamiltonians [62.997667081978825]
数学的には$R$の分数値を求めることができる。制限ハミルトニアンの実装に必要な量子ビット数をさらに減らす方法を示す。最後に、FRCの実装に直面した場合、DWaveのAdvantage$_$system4.1 Quantum Annealer(QA)の応答を特徴付ける。
論文参考訳（メタデータ） (2023-06-12T08:25:56Z)
Multi-Armed Bandit Problem with Temporally-Partitioned Rewards: When Partial Feedback Counts [53.579515853222986]
時間分割リワード(TP-MAB)を用いたマルチアーメッド・バンディット(Multi-Armed Bandit)について検討する。この設定は、プル後の有限時間スパン上で報酬が拡張されるケースに対する遅延フィードバックバンディットの自然な拡張である。本稿では,TP-UCB-FRとTP-UCB-EWの2つのアルゴリズムを提案する。
論文参考訳（メタデータ） (2022-06-01T15:56:59Z)
Logic Embeddings for Complex Query Answering [56.25151854231117]
skolemisationを用いて効率的なクエリのための存在変数を排除する、複雑なクエリを組み込む新しいアプローチであるlogic embeddedsを提案する。論理組込みは,大規模で不完全な知識グラフ上でのクエリ応答において競争的に高速かつ正確であり,否定的問合せよりも優れており,特に回答の不確かさのモデリングが向上している。
論文参考訳（メタデータ） (2021-02-28T07:52:37Z)
Superposition with Lambdas [59.87497175616048]
匿名関数を含むがブール関数を除いた拡張多型高階論理のクラスフラグメントに対する重ね合わせ計算を設計する。推論ルールは$betaeta$-equivalence class of $lambda$-termsで動作し、難解な完全性を達成するために高階統一に依存する。
論文参考訳（メタデータ） (2021-01-31T13:53:17Z)
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)
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics [22.32075802508239]
FO-rewriting is more complex for conjunctive query than for atomic query are present, but not other。特にFO書き換えは、逆ロールが存在する場合のアトミッククエリよりも、結合型クエリでは複雑だが、そうでない場合は複雑である。
論文参考訳（メタデータ） (2020-11-19T14:24:02Z)
Answering Regular Path Queries Over SQ Ontologies [9.03029278078007]
クエリ応答を記述ロジック$mathcalSQ$で研究する。我々の主なコントリビューションは、$mathcalSQ$ナレッジベースのためのツリーのようなモデルプロパティであり、これに基づいて、2ExpTime で正の正規経路クエリに応答する最適なオートマタベースのアルゴリズムを構築しています。
論文参考訳（メタデータ） (2020-11-17T18:27:20Z)
On Finite Entailment of Non-Local Queries in Description Logics [1.3192452635990861]
我々は,過渡的クロージャで拡張されたALCOIQとALCOの論理記述に注目した。いずれの論理に対しても、推移的閉包を伴う連結クエリの有限包含に対して 2EXPTIME 上界を示す。
論文参考訳（メタデータ） (2020-06-30T14:57:12Z)
Relative Deviation Margin Bounds [55.22251993239944]
我々はRademacher複雑性の観点から、分布依存と一般家庭に有効な2種類の学習境界を与える。有限モーメントの仮定の下で、非有界な損失関数に対する分布依存的一般化境界を導出する。
論文参考訳（メタデータ） (2020-06-26T12:37:17Z)
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs [10.042878093985458]
制約が存在する場合のオントロジーによるクエリとクエリは2つの重要なデータベース問題である。保護されたTGDとUCQのコンテキストにおける効率的なクエリ評価の限界を実際のクエリとして検討する。
論文参考訳（メタデータ） (2019-12-28T11:08:33Z)

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