論文の概要: Tractable Query Answering under Epistemic Confidentiality Policies in DL Ontologies (extended version)

• arxiv url: http://arxiv.org/abs/2607.16715v1
• Date: Sat, 18 Jul 2026 09:07:57 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-21 18:48:37.232916
• Title: Tractable Query Answering under Epistemic Confidentiality Policies in DL Ontologies (extended version)
• Title（参考訳）: DLオントロジーにおけるエピステミック信頼度ポリシーに基づくトラクタブル検索(拡張版)
• Authors: Lorenzo Marconi, Daniela Rieti, Riccardo ROsati,
• Abstract要約: 我々はまず、CQE(GAとI-GA-entailment)の既知のセマンティクスの下でクエリに応答する問題に対処する。 ミニマルポリシー違反(MPV)の概念に基づくCQEの新しいセマンティクスを導入する。 本研究は,従来のセマンティクスと相違する性質を満足しつつ,従来のセマンティクスに音響近似を与えるものであることを示す。
• 参考スコア（独自算出の注目度）: 2.985616980706464
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: We study Controlled Query Evaluation (CQE), a declarative approach to confidentiality-preserving data access, in the context of Description Logic (DL) ontologies, and for confidentiality policies expressed through Epistemic Dependencies (EDs). We first address the problem of answering queries (specifically, Boolean unions of conjunctive queries) under known semantics for CQE (GA- and IGA-entailment). Our results show that if the TBox is expressed in $\text{DL-Lite}_{\mathcal{R}}$, CQE is computationally intractable in general. Moreover, in the presence of EDs, the IGA semantics has recently been proven not to satisfy an important confidentiality preservation property known as indistinguishability. With the goal of defining computationally easier and confidentiality-preserving forms of CQE, we introduce a new semantics for CQE, based on the notion of minimal policy violation (MPV). We show that the new semantics provides a sound approximation of the previous ones, while satisfying the indistinguishability property. We also prove that, in the case of $\text{DL-Lite}_{\mathcal{R}}$ ontologies, query entailment under the MPV semantics can be decided in polynomial time in data complexity. Finally, we present a software implementation of our framework that we used to evaluate the feasibility of this new approach using an existing benchmark for OWL 2 QL.
• Abstract（参考訳）: 本研究では,機密性保持データアクセスに対する宣言的アプローチである制御クエリ評価(CQE)について,記述論理オントロジー(DL)の文脈で検討し,疫学依存度(ED)で表される機密性ポリシーについて検討した。 まず、CQE(GA-およびIGA-entailment)の既知のセマンティクスに基づいて、クエリ(具体的には接続クエリのブール結合)に応答する問題に対処する。 以上の結果から,TBox が $\text{DL-Lite}_{\mathcal{R}}$ で表される場合,CQE は一般に計算的に抽出可能であることを示す。 さらに, EDsの存在下では, IGAセマンティクスは不明瞭性として知られる重要な機密性保持特性を満たさないことが最近証明されている。 CQEの計算が容易で機密性の高い形式を定義することを目的として,ミニマルポリシー違反(MPV)の概念に基づくCQEの新しいセマンティクスを導入する。 本研究は,従来のセマンティクスが不明瞭さを満足しつつ,従来のセマンティクスの音響近似を提供することを示す。 また、$\text{DL-Lite}_{\mathcal{R}}$ ontologiesの場合、MPVセマンティクスの下でのクエリの含意は、データの複雑さにおいて多項式時間で決定できることを示す。 最後に、OWL 2 QLの既存のベンチマークを使用して、この新しいアプローチの実現可能性を評価するために、我々のフレームワークのソフトウェア実装を提案する。

関連論文リスト

• 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)
• ReAG: Reasoning-Augmented Generation for Knowledge-based Visual Question Answering [54.72902502486611]
  ReAG(Reasoning-Augmented Multimodal RAG)は、粗い部分ときめ細かい部分の検索と、無関係な通路をフィルタリングする批評家モデルを組み合わせた手法である。 ReAGは従来の手法よりも優れており、解答精度が向上し、検索された証拠に根ざした解釈可能な推論を提供する。
  論文  参考訳（メタデータ） (2025-11-27T19:01:02Z)
• CQE under Epistemic Dependencies: Algorithms and Experiments (extended version) [2.2770431622059792]
  我々は、すべての最適なGA検閲の交わりについて、接続クエリ(BUCQ)のブール連合(Boolean Unions of conjunctive query)に答えることに集中する。 まず、この交差点に基づくアプローチの安全性を特徴付け、安全を保ったED(すなわち完全なED)のクラスを特定する。 最後に,2つの異なる評価シナリオで実施した実験について報告する。
  論文  参考訳（メタデータ） (2025-07-23T13:10:33Z)
• The benefits of query-based KGQA systems for complex and temporal questions in LLM era [55.20230501807337]
  大規模言語モデルは質問回答(QA)に優れていますが、マルチホップ推論や時間的質問には苦戦しています。 クエリベースの知識グラフ QA (KGQA) は、直接回答の代わりに実行可能なクエリを生成するモジュール形式の代替手段を提供する。 WikiData QAのためのマルチステージクエリベースのフレームワークについて検討し、課題のあるマルチホップと時間ベンチマークのパフォーマンスを向上させるマルチステージアプローチを提案する。
  論文  参考訳（メタデータ） (2025-07-16T06:41:03Z)
• Few-shot Policy (de)composition in Conversational Question Answering [54.259440408606515]
  本稿では,大規模言語モデル(LLM)を用いて数ショット設定でポリシーコンプライアンスを検出するニューラルシンボリックフレームワークを提案する。 提案手法は,回答すべきサブクエストを抽出し,文脈情報から真理値を割り当て,与えられたポリシーから論理文の集合を明示的に生成することで,政策コンプライアンスに関する会話に対して健全な理由を示す。 本手法は,PCDおよび会話機械読解ベンチマークであるShARCに適用し,タスク固有の微調整を伴わずに競合性能を示す。
  論文  参考訳（メタデータ） (2025-01-20T08:40:15Z)
• Controlled Query Evaluation through Epistemic Dependencies [7.502796412126707]
  本稿では,このフレームワークの表現能力を示し,CQEの(一対の)結合クエリにおけるデータ複雑性について検討する。 本稿では,非循環的依存関係の場合のトラクタビリティを,適切なクエリアルゴリズムを提供することにより証明する。
  論文  参考訳（メタデータ） (2024-05-03T19:48:07Z)
• Temporal-aware Hierarchical Mask Classification for Video Semantic Segmentation [62.275143240798236]
  ビデオセマンティックセグメンテーションデータセットは、ビデオ毎のカテゴリが限られている。 VSSトレーニング中に意味のある勾配更新を受けるために、クエリの10%未満がマッチする可能性がある。 提案手法は,最新のVSSベンチマークVSPWにおいてベルやホイッスルを使わずに,最先端の性能を実現する。
  論文  参考訳（メタデータ） (2023-09-14T20:31:06Z)
• CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version) [13.169982133542266]
  動的CQE法,すなわち,従来のクエリの評価に基づいて,現在のクエリに対する応答を変更することを提案する。 我々は、機密データを保護できるだけでなく、最大限に協力できるシステムを目指しています。
  論文  参考訳（メタデータ） (2022-07-22T15:51:15Z)
• Learning Implicitly with Noisy Data in Linear Arithmetic [94.66549436482306]
  PAC-セマンティックスにおける暗黙学習を拡張し、線形算術の言語における間隔としきい値の不確実性を扱う。 最適線形プログラミング対象制約の学習に対する我々の暗黙的アプローチは、実際的な明示的アプローチよりも著しく優れていることを示す。
  論文  参考訳（メタデータ） (2020-10-23T19:08:46Z)
• CQE in Description Logics Through Instance Indistinguishability (extended version) [0.0]
  Description Logics (DL) におけるプライバシ保護クエリ応答に関する研究 DL-Lite$_mathcal$$で応答するデータ複雑性の結果を導出します。 我々は,CQEに対する近似秘密性解答という意味論的に確立された概念を同定する。
  論文  参考訳（メタデータ） (2020-04-24T17:28:24Z)

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

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