Fugu-MT 論文翻訳(概要): Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure

論文の概要: Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure

arxiv url: http://arxiv.org/abs/2606.24279v1
Date: Tue, 23 Jun 2026 08:02:07 GMT
ステータス: 翻訳完了
システム内更新日: 2026-06-24 22:16:48.846523
Title: Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure
Title（参考訳）: 有意閉鎖下におけるDL-Liteのトラクタブル推論と接続型問合せ解法
Authors: Giovanni Casini, Umberto Straccia,
Abstract要約: 本稿では,Rational Closure (RC) の軽量記述論理のDL-Liteファミリーのコアおよびホルン変種への適用について検討する。私たちの主な貢献は、既存の標準の古典的推論に基づいて構築されたプラグインアーキテクチャを提供することです。
参考スコア（独自算出の注目度）: 0.5156484100374058
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: In Description Logics (DLs), reasoning under Rational Closure (RC) is a well-known and widely accepted non-monotonic formalism to handle defeasible knowledge. In this paper, we study the application of RC to the core and horn variants of the DL-Lite family of lightweight description logics. We analyze both entitlement (instance checking) and Conjunctive Query (CQ) answering under RC. Our main contribution is providing a plug-in architecture that builds upon existing standard classical reasoners, establishing that reasoning and CQ answering under RC for DL-Lite can be done efficiently with minimal computational overhead.
Abstract（参考訳）: 説明論理学(英: Description Logics、DL)では、論理的閉包(Rational Closure、RC)に基づく推論は、非単調な形式としてよく知られ、広く受け入れられている。本稿では,軽量記述論理のDL-Liteファミリーのコアおよびホルン変種に対するRCの適用について検討する。本稿では,RC 下でのエンパワーメント (インスタンスチェック) と Conjunctive Query (CQ) の回答を解析する。我々の主な貢献は、既存の標準の古典的推論に基づいて構築されたプラグインアーキテクチャを提供することであり、DL-LiteのRC下での推論とCQ応答は、最小の計算オーバーヘッドで効率的に行うことができる。

関連論文リスト

A Horn extension of DL-Lite with NL data complexity [1.376408511310322]
我々は,コアDL-Liteを厳密に拡張し,到達性制限された接続をサポートし,NLの推論を可能にする記述ロジックを導入する。我々はNLを双方向のレギュラーパスクエリに書き換えることで確立し、OMQAをグラフクエリ言語に拡張する上で、私たちの言語が有望な候補であることを示す最初の証拠を提供する。
論文参考訳（メタデータ） (2026-05-13T11:26:32Z)
KBQA-R1: Reinforcing Large Language Models for Knowledge Base Question Answering [64.62317305868264]
テキスト模倣から強化学習によるインタラクション最適化へパラダイムをシフトするフレームワークである textbfKBQA-R1 を提案する。 KBQAを多ターン決定プロセスとして扱うことで,行動のリストを用いて知識ベースをナビゲートすることを学ぶ。 WebQSP、GrailQA、GraphQuestionsの実験では、KBQA-R1が最先端のパフォーマンスを実現している。
論文参考訳（メタデータ） (2025-12-10T17:45:42Z)
Don't "Overthink" Passage Reranking: Is Reasoning Truly Necessary? [60.725923225442095]
我々は、推論に基づくポイントワイドリランカ(ReasonRR)と、同じ訓練条件下での標準、非推論ポイントワイドリランカ(StandardRR)を比較した。 ReasonRR-NoReasonはReasonRRよりも驚くほど効果的であることがわかった。
論文参考訳（メタデータ） (2025-05-22T16:41:37Z)
LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning [61.7853049843921]
Chain-of-Thoughting(CoT)プロンプトは、大規模言語モデル(LLM)のための一般的なコンテキスト内学習手法である。本稿では、教師なし学習を用いて有理数の潜在空間表現を生成するLaRS(Lalatnt Reasoning Skills)という新しいアプローチを提案する。
論文参考訳（メタデータ） (2023-12-07T20:36:10Z)
Querying Circumscribed Description Logic Knowledge Bases [9.526604375441073]
循環は非単調な記述論理を定義する主要なアプローチの1つである。本研究は, (U)CQ 評価における DL KB の判定可能性を示す。また、より単純な原子クエリ(AQ)についても研究する。
論文参考訳（メタデータ） (2023-06-07T15:50:15Z)
Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints [48.831178420807646]
我々は、EVentuality中心のKGに基づいて、ニューラルネットワークを利用して複雑な論理的クエリに応答する新しいフレームワークを提案する。複合事象性クエリ・アンサーリング(CEQA)は、時間的順序と事象の発生を規定する暗黙の論理的制約を考察する。また、CEQAタスク上での最先端のニューラルクエリエンコーダの性能を大幅に向上させるメモリ拡張クエリ(MEQE)を提案する。
論文参考訳（メタデータ） (2023-05-30T14:29:24Z)
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report) [12.448670165713652]
我々は、記述論理(DL)オントロジーを計画することで定式化されたオープンワールドな状態制約に対処する。派生述語を用いた標準PDDLへの新しいコンパイル方式を提案する。提案手法は,DLで計画する既存のベンチマークよりも優れていることを示す。
論文参考訳（メタデータ） (2022-03-17T14:50:06Z)
Causal Inference Principles for Reasoning about Commonsense Causality [93.19149325083968]
コモンセンス因果推論(Commonsense causality reasoning)は、平均的な人によって妥当と見なされる自然言語記述における妥当な原因と影響を特定することを目的としている。既存の作業は通常、深い言語モデルに全面的に依存しており、共起を混同する可能性がある。古典的因果原理に触発され,我々はCCRの中心的問題を明確にし,観察研究と自然言語における人間の対象間の類似性を引き出す。本稿では,時間信号をインシデント・インシデント・インシデント・インシデント・インシデントとして活用する新しいフレームワークであるROCKをReason O(A)bout Commonsense K(C)ausalityに提案する。
論文参考訳（メタデータ） (2022-01-31T06:12:39Z)
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures [13.245718532835864]
コンテキスト化知識リポジトリ(CKR)は記述論理に根ざしているが、論理プログラムに強く関連している。本稿では、複数の文脈関係に対するCKR階層の一般化と、デフェイザブルな公理と選好の解釈について述べる。複数のコンテキスト関係を持つCKR階層の関連する断片に対して、クエリ応答は一般的なasprinフレームワークで実現可能であることを示す。
論文参考訳（メタデータ） (2021-08-06T13:06:45Z)
CQE in Description Logics Through Instance Indistinguishability (extended version) [0.0]
Description Logics (DL) におけるプライバシ保護クエリ応答に関する研究 DL-Lite$_mathcal$$で応答するデータ複雑性の結果を導出します。我々は,CQEに対する近似秘密性解答という意味論的に確立された概念を同定する。
論文参考訳（メタデータ） (2020-04-24T17:28:24Z)

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