論文の概要: 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 であることを示す。
関連論文リスト
- Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳(メタデータ) (2023-06-21T07:34:27Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳(メタデータ) (2022-07-04T14:38:49Z) - 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) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。