Fugu-MT 論文翻訳(概要): Finite Entailment of UCRPQs over ALC Ontologies

論文の概要: Finite Entailment of UCRPQs over ALC Ontologies

arxiv url: http://arxiv.org/abs/2204.14261v1
Date: Fri, 29 Apr 2022 17:38:13 GMT
ステータス: 処理完了
システム内更新日: 2022-05-02 16:40:39.936242
Title: Finite Entailment of UCRPQs over ALC Ontologies
Title（参考訳）: ALCオントロジーによるUCRPQの微細化
Authors: V{\i}ctor Guti\'errez-Basulto, Albert Gutowski, Yazm{\i}n Ib\'a\~nez-Garc{\i}a, Filip Murlak
Abstract要約: 我々は、クエリ言語、結合正則経路クエリの結合(UCRPQ)を考える。記述論理 ALC を用いて,UCRPQ の包含のための厳密な 2EXP バウンドを示す。入力オートマトンの背後にある決定論的有限オートマトンによって誘導される解釈の階層化を導入する新しいオートマトンベースの技術がある。
参考スコア（独自算出の注目度）: 0.82179684645881
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We investigate the problem of finite entailment of ontology-mediated queries. We consider the expressive query language, unions of conjunctive regular path queries (UCRPQs), extending the well-known class of union of conjunctive queries, with regular expressions over roles. We look at ontologies formulated using the description logic ALC, and show a tight 2EXPTIME upper bound for entailment of UCRPQs. At the core of our decision procedure, there is a novel automata-based technique introducing a stratification of interpretations induced by the deterministic finite automaton underlying the input UCRPQ
Abstract（参考訳）: オントロジーを媒介とするクエリの有限エンターメントの問題について検討する。表現型クエリ言語、結合型正則パスクエリ(ucrpqs)の結合について検討し、結合型クエリのよく知られたクラスを拡張し、ロールよりも正規表現を用いる。記述論理 ALC を用いて定式化されたオントロジーを考察し,UCRPQ の包含のために2EXPTIME 上界を厳密に表現する。この決定手順の核心には,入力ucrpqに基づく決定論的有限オートマトンによって引き起こされる解釈の階層化を導入する,新しいオートマトンベース手法がある。

関連論文リスト

Effective Instruction Parsing Plugin for Complex Logical Query Answering on Knowledge Graphs [51.33342412699939]
知識グラフクエリ埋め込み(KGQE)は、不完全なKGに対する複雑な推論のために、低次元KG空間に一階論理(FOL)クエリを埋め込むことを目的としている。近年の研究では、FOLクエリの論理的セマンティクスをよりよく捉えるために、さまざまな外部情報(エンティティタイプや関係コンテキストなど)を統合している。コードのようなクエリ命令から遅延クエリパターンをキャプチャする効果的なクエリ命令解析(QIPP)を提案する。
論文参考訳（メタデータ） (2024-10-27T03:18:52Z)
Controlled Query Evaluation through Epistemic Dependencies [7.502796412126707]
本稿では,このフレームワークの表現能力を示し,CQEの(一対の)結合クエリにおけるデータ複雑性について検討する。本稿では,非循環的依存関係の場合のトラクタビリティを,適切なクエリアルゴリズムを提供することにより証明する。
論文参考訳（メタデータ） (2024-05-03T19:48:07Z)
An Experiment in Retrofitting Competency Questions for Existing Ontologies [0.0]
公理とともにCQを検査することは、CQのスコープと適用性に関する重要な洞察を提供する。 CQは工学的手法の大多数に不可欠なものであるが、工芸品とともにCQを出版する実践は広くは観察されていない。
論文参考訳（メタデータ） (2023-11-09T08:57:39Z)
Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文参考訳（メタデータ） (2023-06-21T07:34:27Z)
Logical Message Passing Networks with One-hop Inference on Atomic Formulas [57.47174363091452]
本稿では,ニューラルネットワーク演算子から知識グラフの埋め込みを分解する,複雑な問合せ応答のためのフレームワークを提案する。クエリグラフの上に、局所的な原子式上のワンホップ推論とグローバル論理的推論を結びつける論理メッセージパッシングニューラルネットワーク(LMPNN)を提案する。我々のアプローチは、最先端のニューラルCQAモデルをもたらす。
論文参考訳（メタデータ） (2023-01-21T02:34:06Z)
PACIFIC: Towards Proactive Conversational Question Answering over Tabular and Textual Data in Finance [96.06505049126345]
我々はPACIFICという新しいデータセットを提案する。既存のCQAデータセットと比較すると、PACIFICは(i)活動性、(ii)数値推論、(iii)表とテキストのハイブリッドコンテキストの3つの重要な特徴を示す。質問生成とCQAを組み合わせたPCQA(Proactive Conversational Question Answering)に基づいて,新しいタスクを定義する。 UniPCQAはPCQAのすべてのサブタスク上でマルチタスク学習を行い、Seeq2Seqの上位$kのサンプルをクロスバリデーションすることで、マルチタスク学習におけるエラー伝搬問題を緩和するための単純なアンサンブル戦略を取り入れている。
論文参考訳（メタデータ） (2022-10-17T08:06:56Z)
Reasoning over Hybrid Chain for Table-and-Text Open Domain QA [69.8436986668218]
我々はChAin中心の推論と事前学習フレームワーク(CARP)を提案する。 CARPはハイブリッドチェーンを使用して、質問応答のための表とテキスト間の明示的な中間推論プロセスをモデル化する。また,クロスモダリティ推論プロセスの同定において,事前学習モデルを強化するために,新しいチェーン中心の事前学習手法を提案する。
論文参考訳（メタデータ） (2022-01-15T16:11:55Z)
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)
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying [17.79631575141597]
本稿では,ALCファミリーの表現的記述論理と接続的クエリの(一意)に基づくオントロジーによるクエリについて考察する。この結果には,このような書き換えが可能なタイミングの正確な特徴と,書き換え可能性を決定するための厳密な複雑性境界が含まれている。
論文参考訳（メタデータ） (2020-10-22T16:40:59Z)
On Finite Entailment of Non-Local Queries in Description Logics [1.3192452635990861]
我々は,過渡的クロージャで拡張されたALCOIQとALCOの論理記述に注目した。いずれの論理に対しても、推移的閉包を伴う連結クエリの有限包含に対して 2EXPTIME 上界を示す。
論文参考訳（メタデータ） (2020-06-30T14:57:12Z)
Conditional Self-Attention for Query-based Summarization [49.616774159367516]
条件依存モデリング用に設計されたニューラルネットワークモジュールであるテキスト条件自己アテンション(CSA)を提案する。 DebatepediaとHotpotQAベンチマークデータセットの実験は、CSAがバニラトランスフォーマーを一貫して上回っていることを示している。
論文参考訳（メタデータ） (2020-02-18T02:22:31Z)

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