Fugu-MT 論文翻訳(概要): Querying Circumscribed Description Logic Knowledge Bases

論文の概要: Querying Circumscribed Description Logic Knowledge Bases

arxiv url: http://arxiv.org/abs/2306.04546v1
Date: Wed, 7 Jun 2023 15:50:15 GMT
ステータス: 処理完了
システム内更新日: 2023-06-08 13:33:28.508603
Title: Querying Circumscribed Description Logic Knowledge Bases
Title（参考訳）: クェリした記述論理知識ベース
Authors: Carsten Lutz, Quentin Mani\`ere, Robin Nolte
Abstract要約: 循環は非単調な記述論理を定義する主要なアプローチの1つである。本研究は, (U)CQ 評価における DL KB の判定可能性を示す。また、より単純な原子クエリ(AQ)についても研究する。
参考スコア（独自算出の注目度）: 9.526604375441073
License: http://creativecommons.org/licenses/by-sa/4.0/
Abstract: Circumscription is one of the main approaches for defining non-monotonic description logics (DLs). While the decidability and complexity of traditional reasoning tasks such as satisfiability of circumscribed DL knowledge bases (KBs) is well understood, for evaluating conjunctive queries (CQs) and unions thereof (UCQs), not even decidability had been established. In this paper, we prove decidability of (U)CQ evaluation on circumscribed DL KBs and obtain a rather complete picture of both the combined complexity and the data complexity, for DLs ranging from ALCHIO via EL to various versions of DL-Lite. We also study the much simpler atomic queries (AQs).
Abstract（参考訳）: 循環は、非単調な記述論理(DL)を定義する主要なアプローチの1つである。 CQ(conjunctive query, CQ)とUCQ(unions)の評価において, 周囲のDL知識ベース(KB)の満足度などの従来の推論タスクの決定性や複雑さはよく理解されているが, 決定性さえ確立されていない。本稿では,ALCHIO と EL から DL-Lite の様々なバージョンに至るまでの DL KB の (U)CQ 評価の妥当性を検証し,複雑化とデータ複雑化の両面のより完全な図式を得る。また、より単純なアトミッククエリ(AQ)についても検討する。

関連論文リスト

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents [0.0]
本稿では,概念に基づくBeth Definability Properties (CBP) を確立するための構築的手法を提案する。高い表現力を持つDL RIQをケーススタディとして、シークエント計算からインターポーラントをどのように計算できるかを示す。これは、記述論理の文脈内で補間子と定義を計算するための最初のシーケントベースのアプローチである。
論文参考訳（メタデータ） (2024-04-24T12:28:27Z)
An In-Context Schema Understanding Method for Knowledge Base Question Answering [70.87993081445127]
大きな言語モデル(LLM)は、言語理解において強力な能力を示しており、この課題を解決するために使用することができる。既存のメソッドは、当初、スキーマ固有の詳細を使わずにLLMを使用してロジックフォームのドラフトを生成することで、この課題を回避している。そこで本研究では,LLMが文脈内学習を利用してスキーマを直接理解できる簡易なインコンテキスト理解(ICSU)手法を提案する。
論文参考訳（メタデータ） (2023-10-22T04:19:17Z)
Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文参考訳（メタデータ） (2023-06-21T07:34:27Z)
Reasoning over Hierarchical Question Decomposition Tree for Explainable Question Answering [83.74210749046551]
ヘテロジニアス知識統合のための質問分解手法を提案する。階層的質問分解木(RoHT)を用いた新しい2段階XQAフレームワークを提案する。複雑なQAデータセットKQA ProとMusiqueの実験は、我々のフレームワークがSOTAメソッドを著しく上回っていることを示している。
論文参考訳（メタデータ） (2023-05-24T11:45:59Z)
Knowledge Base Question Answering by Case-based Reasoning over Subgraphs [81.22050011503933]
本モデルでは,既存のKG補完アルゴリズムよりも複雑な推論パターンを必要とする問合せに対して,より効果的に答えることを示す。提案モデルは、KBQAベンチマークの最先端モデルよりも優れているか、競合的に動作する。
論文参考訳（メタデータ） (2022-02-22T01:34:35Z)
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies [22.218000867486726]
EL概念はELIオントロジーの存在下では学習できないことを示す。また,EL概念はELIオントロジーの存在下では学習できないことを示す。
論文参考訳（メタデータ） (2021-05-18T07:45:37Z)
Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning [73.00049753292316]
本稿では,意味解析と推論に基づくニューロシンボリック質問回答システムを提案する。 NSQAはQALD-9とLC-QuAD 1.0で最先端のパフォーマンスを達成する。
論文参考訳（メタデータ） (2020-12-03T05:17:55Z)
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying [17.79631575141597]
本稿では,ALCファミリーの表現的記述論理と接続的クエリの(一意)に基づくオントロジーによるクエリについて考察する。この結果には,このような書き換えが可能なタイミングの正確な特徴と,書き換え可能性を決定するための厳密な複雑性境界が含まれている。
論文参考訳（メタデータ） (2020-10-22T16:40:59Z)
KQA Pro: A Dataset with Explicit Compositional Programs for Complex Question Answering over Knowledge Base [67.87878113432723]
複雑KBQAのためのデータセットであるKQA Proを紹介する。各質問に対して、対応するKoPLプログラムとSPARQLクエリを提供するので、KQA ProはKBQAとセマンティック解析の両方に役立ちます。
論文参考訳（メタデータ） (2020-07-08T03:28:04Z)
CQE in Description Logics Through Instance Indistinguishability (extended version) [0.0]
Description Logics (DL) におけるプライバシ保護クエリ応答に関する研究 DL-Lite$_mathcal$$で応答するデータ複雑性の結果を導出します。我々は,CQEに対する近似秘密性解答という意味論的に確立された概念を同定する。
論文参考訳（メタデータ） (2020-04-24T17:28:24Z)
When is Ontology-Mediated Querying Efficient? [10.971122842236024]
関係データベース上でのオントロジーによるクエリの評価について検討する。 OMQ のクラスの特徴として,複雑な組み合わせによるトラクタブルなクラスを提供しています。また、与えられた OMQ が有界木幅の OMQ に等しいかどうかを決定する複雑さについても検討する。
論文参考訳（メタデータ） (2020-03-17T16:32:00Z)

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