Saved in:
| Main Authors: | , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2602.19878 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916042035429376 |
|---|---|
| author | Mustafa, Daham Collarana, Diego Kirrane, Sabrina Lange, Christoph Quix, Christoph Haque, Rafiqul Peng, Yixin Decker, Stefan |
| author_facet | Mustafa, Daham Collarana, Diego Kirrane, Sabrina Lange, Christoph Quix, Christoph Haque, Rafiqul Peng, Yixin Decker, Stefan |
| contents | The Open Digital Rights Language (ODRL) represents policy constraints as triples of a left operand, an operator, and a value. Several spatial operands, however, range over multi-axis domains such as width, height, and depth, while the constraint syntax provides no explicit axis identity. As a result, policy engines cannot determine whether multiple constraints apply to the same axis or different ones, making conflict detection unsound or incomplete. We resolve this ambiguity by axis decomposition, replacing multi-axis operands with axis-specific scalar operands over totally ordered domains. Each constraint then denotes an interval per axis and each policy an axis-aligned box, reducing conflict detection to box comparison. We define a three-valued semantics (Conflict, Compatible, Unknown), prove the decomposition sound and backward compatible with ODRL, instantiate it as ODRL Axis-Aligned Profile (OAAP), and validate it on a benchmark of 256 ODRL policy problems, each expressed in Turtle and compiled to first-order (TPTP) and SMT-LIB form, using Vampire, E, Z3, and cvc5. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_19878 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints Mustafa, Daham Collarana, Diego Kirrane, Sabrina Lange, Christoph Quix, Christoph Haque, Rafiqul Peng, Yixin Decker, Stefan Computation and Language Logic in Computer Science F.4.1; D.2.4 The Open Digital Rights Language (ODRL) represents policy constraints as triples of a left operand, an operator, and a value. Several spatial operands, however, range over multi-axis domains such as width, height, and depth, while the constraint syntax provides no explicit axis identity. As a result, policy engines cannot determine whether multiple constraints apply to the same axis or different ones, making conflict detection unsound or incomplete. We resolve this ambiguity by axis decomposition, replacing multi-axis operands with axis-specific scalar operands over totally ordered domains. Each constraint then denotes an interval per axis and each policy an axis-aligned box, reducing conflict detection to box comparison. We define a three-valued semantics (Conflict, Compatible, Unknown), prove the decomposition sound and backward compatible with ODRL, instantiate it as ODRL Axis-Aligned Profile (OAAP), and validate it on a benchmark of 256 ODRL policy problems, each expressed in Turtle and compiled to first-order (TPTP) and SMT-LIB form, using Vampire, E, Z3, and cvc5. |
| title | Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints |
| topic | Computation and Language Logic in Computer Science F.4.1; D.2.4 |
| url | https://arxiv.org/abs/2602.19878 |