Abstract: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.
| Comments: | 17 pages. Preprint. v3: expanded benchmark to 256 problems; revised semantics and profile (OAAP) |
| Subjects: | Computation and Language (cs.CL); Logic in Computer Science (cs.LO) |
| ACM classes: | F.4.1; D.2.4 |
| Cite as: | arXiv:2602.19878 [cs.CL] |
| (or arXiv:2602.19878v3 [cs.CL] for this version) | |
| https://doi.org/10.48550/arXiv.2602.19878 arXiv-issued DOI via DataCite |
From: Daham Mustafa [view email]
[v1]
Mon, 23 Feb 2026 14:24:46 UTC (19 KB)
[v2]
Tue, 24 Feb 2026 19:25:34 UTC (19 KB)
[v3]
Sat, 23 May 2026 11:47:07 UTC (44 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。