論文の概要: Axis Decomposition for ODRL: Resolving Dimensional Ambiguity in Policy Constraints through Interval Semantics

• arxiv url: http://arxiv.org/abs/2602.19878v2
• Date: Tue, 24 Feb 2026 19:25:34 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-26 13:37:25.491481
• Title: Axis Decomposition for ODRL: Resolving Dimensional Ambiguity in Policy Constraints through Interval Semantics
• Title（参考訳）: ODRLの軸分解:時間的意味論による政策制約の次元的曖昧性の解消
• Authors: Daham Mustafa, Diego Collarana, Yixin Peng, Rafiqul Haque, Christoph Lange-Bever, Christoph Quix, Stephan Decker,
• Abstract要約: 我々はODRLの左オペランドを値領域構造(スカラー,次元,概念値)で分類する。 本稿では,各次元オペランドを軸特異的なスカラーオペランドに洗練し,決定論的解釈,ABB完全性,投影音性,保守的拡張の4つの特性を証明する軸分解フレームワークを提案する。 ODRLの解法的(odrl:or)および排他的(odrl:xone)論理的制約に対して、各軸分解が適用されない場合、このフレームワークは結合した多重軸予想を直接符号化する。
• 参考スコア（独自算出の注目度）: 1.061268230310221
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Every ODRL 2.2 constraint compares a single scalar value: (leftOperand, operator, rightOperand). Five of ODRL's left operands, however, denote multi-dimensional quantities--image dimensions, canvas positions, geographic coordinates--whose specification text explicitly references multiple axes. For these operands, a single scalar constraint admits one interpretation per axis, making policy evaluation non-deterministic. We classify ODRL's left operands by value-domain structure (scalar, dimensional, concept-valued), grounded in the ODRL 2.2 specification text, and show that dimensional ambiguity is intrinsic to the constraint syntax. We present an axis-decomposition framework that refines each dimensional operand into axis-specific scalar operands and prove four properties: deterministic interpretation, AABB completeness, projection soundness, and conservative extension. Conflict detection operates in two layers: per-axis verdicts are always decidable; box-level verdicts compose through Strong Kleene conjunction into a three-valued logic (Conflict, Compatible, Unknown). For ODRL's disjunctive (odrl:or) and exclusive-or (odrl:xone) logical constraints, where per-axis decomposition does not apply, the framework encodes coupled multi-axis conjectures directly. We instantiate the framework as the ODRL Spatial Axis Profile--15 axis-specific left operands for the five affected base terms--and evaluate it on 117 benchmark problems spanning nine categories across both TPTP FOF (Vampire) and SMT-LIB (Z3) encodings, achieving full concordance between provers. Benchmark scenarios are inspired by constraints arising in cultural heritage dataspaces such as Datenraum Kultur. All meta-theorems are mechanically verified in Isabelle/HOL.
• Abstract（参考訳）: すべてのODRL 2.2制約は、単一のスカラー値を比較する: (leftOperand, operator, rightOperand)。 しかし、ODRLの左オペランドのうち5つは多次元の量(画像次元、キャンバス位置、地理的座標)を表しており、その仕様テキストは複数の軸を明示的に参照している。 これらのオペランドに対して、1つのスカラー制約は軸ごとに1つの解釈を認め、政策評価を非決定論的にする。 我々はODRLの左オペランドを値領域構造(スカラー、次元、概念値)で分類し、ODRL 2.2仕様のテキストに基礎を置いて、次元のあいまいさが制約構文に固有のものであることを示す。 本稿では,各次元オペランドを軸特異的なスカラーオペランドに洗練し,決定論的解釈,ABB完全性,投影音性,保守的拡張の4つの特性を証明する軸分解フレームワークを提案する。 衝突検出は2つの層で機能する: 軸ごとの判定は常に決定可能である; ボックスレベルの判定は、Strong Kleeneと結合して3つの値の論理(衝突、競合、未知)を構成する。 ODRLの解法的(odrl:or)および排他的(odrl:xone)論理的制約に対して、各軸分解が適用されない場合、このフレームワークは結合した多重軸予想を直接符号化する。 ODRL空間軸プロファイル--15 の左オペランドを5つの影響を受ける基本項に対して生成し、TPTP FOF (Vampire) と SMT-LIB (Z3) エンコーディングの9つのカテゴリにまたがるベンチマーク問題117で評価し、プローバー間の完全一致を実現する。 ベンチマークシナリオは、Datenraum Kulturのような文化遺産データ空間で発生する制約にインスパイアされている。 全てのメタ理論は、Isabelle/HOLで機械的に検証されている。

関連論文リスト

• Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection [1.061268230310221]
  本稿では,ODRL制約を知識ベースの概念の集合にマッピングする意味論的意味論を提案する。 クロスデータ空間の相互運用性のために、私たちは知識ベース間の順序保存アライメントを定義します。 実行時の健全性定理は、設計時の検証がすべての実行コンテキストを保持することを保証します。
  論文  参考訳（メタデータ） (2026-02-23T14:28:13Z)
• From Points to Coalitions: Hierarchical Contrastive Shapley Values for Prioritizing Data Samples [3.660947142840319]
  Hierarchical Contrastive Data Valuation (HCDV)は、対照的に幾何学的な表現を学ぶためのフレームワークである。 HCDVは、決定境界を鋭くし、曲率ベースの滑らかさを通じて規則化する例に報酬を与える。 タブラル、ビジョン、ストリーミング、45MサンプルのCTRタスクに加えて、OpenDataValスイートでは、HCDVの精度が+5ppまで向上し、バリュエーション時間を最大100倍に削減し、拡張フィルタリング、低レイテンシのストリーミング更新、公正なマーケットプレースペイアウトといったタスクを直接サポートしている。
  論文  参考訳（メタデータ） (2025-12-22T13:04:16Z)
• Geometrically-Constrained Agent for Spatial Reasoning [53.93718394870856]
  視覚言語モデルは空間的推論において基本的な意味-幾何学的ギャップを示す。 現在のパラダイムは、このギャップを埋めることに失敗します。 本稿では,形式的タスク制約を導入することにより,このギャップを解消する学習自由エージェントパラダイムを提案する。
  論文  参考訳（メタデータ） (2025-11-27T17:50:37Z)
• HierRelTriple: Guiding Indoor Layout Generation with Hierarchical Relationship Triplet Losses [52.70183252341687]
  本稿では,空間的関係学習に着目した階層型三重項に基づく屋内関係学習手法HierRelTripleを提案する。 階層型リレーショナル三重項モデリングフレームワークであるHierRelTripleを導入する。 非条件レイアウト合成、フロアプラン条件付きレイアウト生成、シーン再構成の実験により、HierRelは空間関係のメトリクスを15%以上改善することを示した。
  論文  参考訳（メタデータ） (2025-03-26T07:31:52Z)
• NALA: an Effective and Interpretable Entity Alignment Method [5.891578523646542]
  非公理論理(NAL)を用いた3種類の論理推論経路をキャプチャするエンティティアライメント手法であるNALAを導入する。 NALAは推論パスの結論を統合することで、エンティティと関係を反復的に調整する。 実験結果から、NALAはHits@1の観点から最先端の手法よりも優れており、教師なし設定と教師なし設定の両方でDBP15Kの3つのデータセットで0.98以上を達成している。
  論文  参考訳（メタデータ） (2024-04-18T07:55:02Z)
• Semi-DETR: Semi-Supervised Object Detection with Detection Transformers [105.45018934087076]
  半教師付き物体検出(SSOD)におけるDETRに基づくフレームワークの解析 本報告では,第1次変圧器を用いたエンド・ツー・エンド半教師対象検出器であるSemi-DETRについて述べる。 我々の手法は、最先端の手法をクリアマージンで上回る。
  論文  参考訳（メタデータ） (2023-07-16T16:32:14Z)
• Relational Proxies: Emergent Relationships as Fine-Grained Discriminators [52.17542855760418]
  本稿では,オブジェクトのグローバル部分とローカル部分の間の情報を利用してラベルを符号化する手法を提案する。 我々は、理論的な結果に基づいてプロキシを設計し、7つの挑戦的なきめ細かいベンチマークデータセットに基づいて評価する。 また、この理論を実験的に検証し、複数のベンチマークで一貫した結果を得る。
  論文  参考訳（メタデータ） (2022-10-05T11:08:04Z)
• Maximum Spatial Perturbation Consistency for Unpaired Image-to-Image Translation [56.44946660061753]
  本稿では,最大空間摂動整合(MSPC)と呼ばれる普遍正規化手法を提案する。 MSPCは空間摂動関数(T)と変換演算子(G)を可換(TG = GT)に強制する。 提案手法は,ほとんどのI2Iベンチマークにおいて最先端の手法よりも優れている。
  論文  参考訳（メタデータ） (2022-03-23T19:59:04Z)
• Simultaneous Semantic Alignment Network for Heterogeneous Domain Adaptation [67.37606333193357]
  本稿では,カテゴリ間の相関を同時に利用し,各カテゴリ毎のセントロイドを整列させるために,aSimultaneous Semantic Alignment Network (SSAN)を提案する。 対象の擬似ラベルを利用することで、各カテゴリの特徴表現を整列させるために、ロバストな三重項中心のアライメント機構を明示的に適用する。 テキスト・ツー・イメージ、画像・画像・テキスト・ツー・テキストにわたる様々なHDAタスクの実験は、最先端のHDA手法に対するSSANの優位性を検証することに成功した。
  論文  参考訳（メタデータ） (2020-08-04T16:20:37Z)

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

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