論文の概要: On the Relationship between Shy and Warded Datalog+/-

• arxiv url: http://arxiv.org/abs/2202.06285v1
• Date: Sun, 13 Feb 2022 11:24:22 GMT
• ステータス: 処理完了
• システム内更新日: 2022-02-15 17:44:26.723286
• Title: On the Relationship between Shy and Warded Datalog+/-
• Title（参考訳）: shyとwarded datalog+/-の関係について
• Authors: Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger
• Abstract要約: DatalogEは、存在量化によるDatalogの拡張である。 知識グラフの現代的な応用に適しているが、そのような言語に対するクエリ応答(QA)は一般には決定不可能であることが知られている。 異なる断片が出現し、表現力とQAの計算複雑性のバランスをとるDatalogEに構文的制限が導入された。
• 参考スコア（独自算出の注目度）: 3.4696964555947694
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Datalog^E is the extension of Datalog with existential quantification. While its high expressive power, underpinned by a simple syntax and the support for full recursion, renders it particularly suitable for modern applications on knowledge graphs, query answering (QA) over such language is known to be undecidable in general. For this reason, different fragments have emerged, introducing syntactic limitations to Datalog^E that strike a balance between its expressive power and the computational complexity of QA, to achieve decidability. In this short paper, we focus on two promising tractable candidates, namely Shy and Warded Datalog+/-. Reacting to an explicit interest from the community, we shed light on the relationship between these fragments. Moreover, we carry out an experimental analysis of the systems implementing Shy and Warded, respectively DLV^E and Vadalog.
• Abstract（参考訳）: datalog^eは存在量化を伴うdatalogの拡張である。 単純な構文と完全な再帰のサポートを基盤とする表現力の高さは、知識グラフの現代的なアプリケーションに特に適しているが、そのような言語に対するクエリ応答(qa)は一般に決定不能であることが知られている。 そのため、表現力とqaの計算複雑性のバランスをとるdatalog^eに構文上の制限を導入し、決定可能性を達成するために異なるフラグメントが出現した。 本稿では、ShyとWarded Datalog+/-の2つの有望な抽出可能な候補に焦点を当てる。 コミュニティからの明確な関心に反応して、これらの断片間の関係に光を当てた。 さらに,ShyとWardedを実装したシステムについて,DLV^EとVadalogを用いて実験を行った。

関連論文リスト

• Integrating Large Language Models with Graph-based Reasoning for Conversational Question Answering [58.17090503446995]
  我々は,テキストや知識グラフ,テーブル,インフォボックスといった異質な情報源から収集された証拠について,文脈における質問の理解と推論の課題を組み合わせた会話型質問応答タスクに着目する。 提案手法はグラフ構造表現を用いて質問とその文脈に関する情報を集約する。
  論文  参考訳（メタデータ） (2024-06-14T13:28:03Z)
• Optimizing Language Model's Reasoning Abilities with Weak Supervision [48.60598455782159]
  弱い教師付きベンチマークであるtextscPuzzleBen について,25,147 の複雑な質問,回答,人為的合理性からなる。 データセットのユニークな側面は、10,000の未注釈の質問を含めることであり、LLMの推論能力を高めるために、より少ないスーパーサイズのデータを活用することができる。
  論文  参考訳（メタデータ） (2024-05-07T07:39:15Z)
• Ontological Reasoning over Shy and Warded Datalog$+/-$ for Streaming-based Architectures (technical report) [6.689509223124273]
  データログベースの存在論的推論システムは、しばしばDatalog$ +/-$という集合名の下で共有される言語を採用する。 本稿では,ShyとWarded Datalog$+/-$という,非常に有望で表現力豊かな2つの言語に焦点を当てる。 理論的基盤を利用して、ストリーミングベースのアーキテクチャにおいて特に効率的な推論に適合する、新しい推論技術、技術的には「分岐変種」を導入する。 次に、実環境設定上のオントロジ推論タスクを効率的に解決するために、参照ストリーミングベースのエンジンであるVadalogでそれらを実装します。
  論文  参考訳（メタデータ） (2023-11-20T23:27:43Z)
• Log Parsing Evaluation in the Era of Modern Software Systems [47.370291246632114]
  自動ログ分析、ログ解析は、ログから洞察を導き出すための前提条件である。 本研究は,ログ解析分野の問題点,特に異種実世界のログ処理における非効率性を明らかにする。 本稿では,企業コンテキストにおけるログ解析性能を推定するツールであるLogchimeraを提案する。
  論文  参考訳（メタデータ） (2023-08-17T14:19:22Z)
• Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
  本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。 具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
  論文  参考訳（メタデータ） (2023-06-21T07:34:27Z)
• ConvFinQA: Exploring the Chain of Numerical Reasoning in Conversational Finance Question Answering [70.6359636116848]
  本稿では,対話型質問応答における数値推論の連鎖を研究するために,新しい大規模データセットConvFinQAを提案する。 我々のデータセットは、現実世界の会話において、長距離で複雑な数値推論パスをモデル化する上で大きな課題となる。
  論文  参考訳（メタデータ） (2022-10-07T23:48:50Z)
• Complexity of Arithmetic in Warded Datalog+- [1.5469452301122173]
  Warded Datalog+- ロジックベースの言語Datalogを拡張し、ルールヘッドに存在量化器を配置する。 我々はWarded Datalog+を算術演算で拡張し、P完全性を証明する新しい言語を定義する。 我々は,新たに定義された言語に対する効率的な推論アルゴリズムを提案し,最近導入された整数演算を用いたデータログフラグメントの記述的複雑性を証明した。
  論文  参考訳（メタデータ） (2022-02-10T15:14:03Z)
• MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators [12.145849273069627]
  本稿では,物質化(前方連鎖)とオートマトンに基づく手法を組み合わせたDatalogMTLの実用的な推論手法を提案する。 MeTeoRは、複雑な時間的ルールを推論し、数百万の時間的事実のデータセットを含むスケーラブルなシステムである。
  論文  参考訳（メタデータ） (2022-01-12T17:46:18Z)
• Competency Problems: On Finding and Removing Artifacts in Language Data [50.09608320112584]
  複雑な言語理解タスクでは、すべての単純な特徴相関が突発的であると論じる。 人間バイアスを考慮したコンピテンシー問題に対するデータ作成の難しさを理論的に分析します。
  論文  参考訳（メタデータ） (2021-04-17T21:34:10Z)
• iWarded: A System for Benchmarking Datalog+/- Reasoning (technical report) [0.0]
  iWardedは、非常に大きく、複雑で、現実的な推論設定を生成するシステムです。 我々は,iWardedシステムと,有効シナリオを生成するための新しい理論結果のセットを提示する。
  論文  参考訳（メタデータ） (2021-03-15T17:56:46Z)
• A tetrachotomy of ontology-mediated queries with a covering axiom [1.749935196721634]
  我々の懸念は、標準的なデータベースクエリへの記述とそれらの最適な書き換えを介し、クエリに応答する際のデータ複雑さを効率的に決定することである。 我々は、疎結合シロップ(d-シロップ)と呼ばれるブール共役型クエリに焦点を当てる。 一部のd-シロップは指数的な大きさの分解能しか持たないが、そのうちのいくつかは二重指数サイズの正存在量書き換えと単帰的データログ書き換えのみである。
  論文  参考訳（メタデータ） (2020-06-07T14:47:07Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。