Fugu-MT 論文翻訳(概要): On Finite Entailment of Non-Local Queries in Description Logics

論文の概要: On Finite Entailment of Non-Local Queries in Description Logics

arxiv url: http://arxiv.org/abs/2006.16869v1
Date: Tue, 30 Jun 2020 14:57:12 GMT
ステータス: 処理完了
システム内更新日: 2022-11-15 05:55:23.471151
Title: On Finite Entailment of Non-Local Queries in Description Logics
Title（参考訳）: 記述論理における非局所的問合せの有限化について
Authors: Tomasz Gogacz, V\'ictor Guti\'errez-Basulto, Albert Gutowski, Yazm\'in Ib\'a\~nez-Garc\'ia, Filip Murlak
Abstract要約: 我々は,過渡的クロージャで拡張されたALCOIQとALCOの論理記述に注目した。いずれの論理に対しても、推移的閉包を伴う連結クエリの有限包含に対して 2EXPTIME 上界を示す。
参考スコア（独自算出の注目度）: 1.3192452635990861
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We study the problem of finite entailment of ontology-mediated queries. Going beyond local queries, we allow transitive closure over roles. We focus on ontologies formulated in the description logics ALCOI and ALCOQ, extended with transitive closure. For both logics, we show 2EXPTIME upper bounds for finite entailment of unions of conjunctive queries with transitive closure. We also provide a matching lower bound by showing that finite entailment of conjunctive queries with transitive closure in ALC is 2EXPTIME-hard.
Abstract（参考訳）: オントロジーを媒介とするクエリの有限エンターメントの問題について検討する。ローカルクエリを超えて、ロール上の推移的クロージャを許可します。我々は、alcoi と alcoq の記述論理で定式化されたオントロジーに注目し、推移閉包で拡張する。いずれの論理に対しても、推移的閉包を持つ連結クエリの和の有限部分に対する2exptime upperboundsを示す。また, ALC における推移的閉包を伴う接続クエリの有限包含が 2EXPTIME-hard であることを示す。

関連論文リスト

GRS-QA -- Graph Reasoning-Structured Question Answering Dataset [50.223851616680754]
グラフ推論-構造化質問応答データセット(GRS-QA)を導入する。既存のM-QAデータセットとは異なり、GRS-QAは推論グラフを構築することで複雑な推論経路を明示的にキャプチャする。実験により, LLMは, 様々な推論構造を用いて, 問合せ処理を行う際に, 異なる性能を示すことが明らかとなった。
論文参考訳（メタデータ） (2024-11-01T05:14:03Z)
Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs [95.07757789781213]
LLMの複雑な推論には2行のアプローチが採用されている。 1行の作業は様々な推論構造を持つLLMを誘導し、構造出力は自然に中間推論ステップと見なすことができる。他方の行では、LCMのない宣言的解法を用いて推論処理を行い、推論精度は向上するが、解法のブラックボックスの性質により解釈性に欠ける。具体的には,Prologインタプリタが生成した中間検索ログにアクセスし,人間可読推論に解釈可能であることを示す。
論文参考訳（メタデータ） (2023-11-16T11:26:21Z)
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)
Query2Particles: Knowledge Graph Reasoning with Particle Embeddings [49.64006979045662]
本稿では,知識グラフにエッジを欠いた複雑な論理的クエリに応答するクエリ埋め込み手法を提案する。回答エンティティは、エンティティの埋め込みとクエリの埋め込みの類似性に応じて選択される。埋め込み空間上の様々な領域から多様な回答を検索するために,複雑なKGクエリ応答方法Q2Pを提案する。
論文参考訳（メタデータ） (2022-04-27T11:16:08Z)
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)
Superposition with Lambdas [59.87497175616048]
匿名関数を含むがブール関数を除いた拡張多型高階論理のクラスフラグメントに対する重ね合わせ計算を設計する。推論ルールは$betaeta$-equivalence class of $lambda$-termsで動作し、難解な完全性を達成するために高階統一に依存する。
論文参考訳（メタデータ） (2021-01-31T13:53:17Z)
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)
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying [17.79631575141597]
本稿では,ALCファミリーの表現的記述論理と接続的クエリの(一意)に基づくオントロジーによるクエリについて考察する。この結果には,このような書き換えが可能なタイミングの正確な特徴と,書き換え可能性を決定するための厳密な複雑性境界が含まれている。
論文参考訳（メタデータ） (2020-10-22T16:40:59Z)
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles [8.107243891682305]
2EXPTIME上界は,拡張と有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意な有意性を示す。逆の場合、インスタンスクエリの制限なしかつ有限な包含に対して2EXPTIME完全性を確立する。
論文参考訳（メタデータ） (2020-10-22T07:44:00Z)
VQA-LOL: Visual Question Answering under the Lens of Logic [58.30291671877342]
画像に関する疑問に答えるように訓練された視覚的質問応答システムが,複数の質問の論理的構成に答えられるかどうかを検討する。本稿では,VQAデータセットをベンチマークとして拡張し,論理的構成や言語的変換を含む質問を行う。本稿では,論理的結合性を理解するために質問注意と論理意図を用いたLOLモデルと,新しいFr'echet-Compatibility Lossを提案する。
論文参考訳（メタデータ） (2020-02-19T17:57:46Z)

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