論文の概要: Modeling and Managing Temporal Obligations in GUCON Using SPARQL-star and RDF-star
- arxiv url: http://arxiv.org/abs/2510.04652v1
- Date: Mon, 06 Oct 2025 09:58:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-07 16:52:59.794785
- Title: Modeling and Managing Temporal Obligations in GUCON Using SPARQL-star and RDF-star
- Title（参考訳）: SPARQL-starとRDF-starを用いたGUCONにおける時間オブリグレーションのモデル化と管理
- Authors: Ines Akaichi, Giorgos Flouris, Irini Fundulaki, Sabrina Kirrane,
- Abstract要約: 利用制御の中枢的なメカニズムは義務の扱いであり、これはデータの使用と共有の副作用として生じる。
義務の効果的な監視には、使用トレースのキャプチャと、開始時間や期限などの時間的側面の会計が必要である。
我々は、義務の時間的側面を明示的にモデル化するために、SPAQRLグラフパターンの形式的意味論に基づくポリシーフレームワークであるGUCONを拡張した。
- 参考スコア（独自算出の注目度）: 0.17999333451993949
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In the digital age, data frequently crosses organizational and jurisdictional boundaries, making effective governance essential. Usage control policies have emerged as a key paradigm for regulating data usage, safeguarding privacy, protecting intellectual property, and ensuring compliance with regulations. A central mechanism for usage control is the handling of obligations, which arise as a side effect of using and sharing data. Effective monitoring of obligations requires capturing usage traces and accounting for temporal aspects such as start times and deadlines, as obligations may evolve over times into different states, such as fulfilled, violated, or expired. While several solutions have been proposed for obligation monitoring, they often lack formal semantics or provide limited support for reasoning over obligation states. To address these limitations, we extend GUCON, a policy framework grounded in the formal semantics of SPAQRL graph patterns, to explicitly model the temporal aspects of an obligation. This extension enables the expressing of temporal obligations and supports continuous monitoring of their evolving states based on usage traces stored in temporal knowledge graphs. We demonstrate how this extended model can be represented using RDF-star and SPARQL-star and propose an Obligation State Manager that monitors obligation states and assess their compliance with respect to usage traces. Finally, we evaluate both the extended model and its prototype implementation.
- Abstract（参考訳）: デジタル時代には、データはしばしば組織的および司法的境界を越えており、効果的なガバナンスが不可欠である。
データ使用の規制、プライバシーの保護、知的財産の保護、規制の遵守の確保のための重要なパラダイムとして、利用制御ポリシが登場した。
利用制御の中枢的なメカニズムは義務の扱いであり、これはデータの使用と共有の副作用として生じる。
義務の効果的な監視には、使用トレースのキャプチャと、開始時間や期限などの時間的側面の会計が必要である。
義務監視のためのいくつかのソリューションが提案されているが、形式的な意味論を欠いたり、義務状態に対する推論の限定的な支援を提供する場合が多い。
これらの制約に対処するため、SPAQRLグラフパターンの形式的意味論に基づくポリシーフレームワークであるGUCONを拡張し、義務の時間的側面を明示的にモデル化する。
この拡張は、時間的義務の表現を可能にし、時間的知識グラフに格納された使用トレースに基づいて、進化する状態の継続的な監視をサポートする。
この拡張モデルはRDF-starとSPARQL-starを使ってどのように表現できるかを実証し、義務状態を監視し、使用履歴に対するコンプライアンスを評価するオブリグレーションステートマネージャを提案する。
最後に,拡張モデルとそのプロトタイプ実装について評価する。
関連論文リスト
- Causal Time Series Generation via Diffusion Models [96.95879410279089]
新しいTSGタスクファミリーとして因果時系列生成を導入し,Pearlの因果はしご内で定式化した。
これらのタスクをインスタンス化するために、統合拡散ベースのフレームワークであるCaTSGを開発した。
合成データセットと実世界のデータセットの両方の実験は、CaTSGが優れた忠実性を達成することを示している。
論文 参考訳（メタデータ） (2025-09-25T07:34:46Z) - Towards Operation Proof Obligation Generation for VDM [0.0]
義務の生成は、メソッドをサポートするツールの重要な役割である。
この作業では、この問題に対処するための現在の作業状況を説明し、これまでの能力を示し、残りの作業を強調します。
論文 参考訳（メタデータ） (2025-06-15T14:18:17Z) - Respecting Temporal-Causal Consistency: Entity-Event Knowledge Graphs for Retrieval-Augmented Generation [69.45495166424642]
我々は,物語文書における時間的,因果的,文字的整合性を理解するために,頑健で差別的なQAベンチマークを開発する。
次に、バイナリマッピングでリンクされたエンティティとイベントのサブグラフを分離したまま保持するデュアルグラフフレームワークであるEntity-Event RAG(E2RAG)を紹介します。
ChronoQA全体で、我々のアプローチは最先端の非構造化およびKGベースのRAGベースラインよりも優れており、因果一貫性クエリや文字整合性クエリが顕著である。
論文 参考訳（メタデータ） (2025-06-06T10:07:21Z) - Beyond 'Aha!': Toward Systematic Meta-Abilities Alignment in Large Reasoning Models [86.88657425848547]
大型推論モデル(LRMs)はすでに長い連鎖推論のための潜在能力を持っている。
我々は、自動生成の自己検証タスクを使用して、モデルに推論、帰納、誘拐の3つのメタ能力を持たせることを明確にした。
我々の3つのステージ・パイプラインの個別アライメント、パラメータ空間のマージ、ドメイン固有の強化学習は、命令調整ベースラインと比較して10%以上のパフォーマンス向上を実現します。
論文 参考訳（メタデータ） (2025-05-15T17:58:33Z) - SDE: A Simplified and Disentangled Dependency Encoding Framework for State Space Models in Time Series Forecasting [8.841699904757506]
精度予測の基本となる3つの重要な依存関係を特定し,正式に定義する。
SDE(Simplified and Disentangled Dependency entangle)は,時系列予測におけるSSMの能力向上を目的とした新しいフレームワークである。
論文 参考訳（メタデータ） (2024-08-22T02:14:59Z) - Instructed Diffuser with Temporal Condition Guidance for Offline
Reinforcement Learning [71.24316734338501]
テンポラリ・コンポラブル・ディフューザ(TCD)を用いた実効時間条件拡散モデルを提案する。
TCDは、相互作用シーケンスから時間情報を抽出し、時間条件で生成を明示的にガイドする。
提案手法は,従来のSOTAベースラインと比較して最高の性能を達成または一致させる。
論文 参考訳（メタデータ） (2023-06-08T02:12:26Z) - Robust Action Governor for Uncertain Piecewise Affine Systems with
Non-convex Constraints and Safe Reinforcement Learning [5.7406123763046955]
Action Governorは、制御アクションを監視し、調整し、ポイントインタイムの状態と制約として表現された安全仕様を強制する名目制御ループへのアドオンスキームである。
非時間付加的不確実性として表現できるシステムのロバスト行動知事(RAG)を紹介する。
この開発により、環境の安全なリアルタイム進化と、システムパラメータの変化への適応が可能になる。
論文 参考訳（メタデータ） (2022-07-17T17:31:07Z) - Controllable Summarization with Constrained Markov Decision Process [50.04321779376415]
本研究では,ユーザが特定の属性を制御できる可制御テキスト要約について検討する。
制約付きマルコフ決定プロセス(CMDP)に基づく新しいトレーニングフレームワークを提案する。
我々のフレームワークは、長さ、被覆された実体、抽象性など、要約の重要な属性を制御するために応用できる。
論文 参考訳（メタデータ） (2021-08-07T09:12:53Z) - GSA-Forecaster: Forecasting Graph-Based Time-Dependent Data with Graph Sequence Attention [16.192961073437758]
GSA-Forecasterは、グラフベースの時間依存コンテキストの予測用に設計された新しいディープラーニングモデルである。
GSA-Forecasterはデータグラフ構造を直接アーキテクチャに統合し、空間的依存関係に対処する。
実世界のグラフベースの時間依存データセットを用いて、その性能を検証する。
論文 参考訳（メタデータ） (2021-04-13T03:19:10Z) - Conditional Sig-Wasserstein GANs for Time Series Generation [8.593063679921109]
GAN(Generative Adversarial Network)は、高次元の確率測度からサンプルを生成するのに非常に成功した。
これらの手法は時系列データによって誘導される関節確率分布の時間的依存を捉えるのに苦労する。
時系列データストリームはターゲット空間の次元を大幅に増加させ、生成的モデリングが不可能になる可能性がある。
本稿では,Wasserstein-GANを数学的原理と効率的な経路特徴抽出と統合した汎用条件付きSig-WGANフレームワークを提案する。
論文 参考訳（メタデータ） (2020-06-09T17:38:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。