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.

翻译：开放数字权利语言（ODRL）将策略约束表示为左操作数、操作符和值的三元组。然而，若干空间操作数涉及多轴域（如宽度、高度和深度），而约束语法并未提供显式的轴标识。因此，策略引擎无法判断多个约束作用于同一轴还是不同轴，导致冲突检测不健全或不完整。我们通过轴分解解决这一歧义，将多轴操作数替换为全序域上的轴特定标量操作数。由此，每个约束表示每个轴上的一个区间，每个策略表示一个轴对齐的盒子，从而将冲突检测简化为盒子比较。我们定义了三值语义（冲突、兼容、未知），证明了分解的健全性和与ODRL的后向兼容性，将其实例化为ODRL轴对齐配置文件（OAAP），并在包含256个ODRL策略问题的基准测试集上进行了验证——每个策略问题均以Turtle格式表示，并编译为一阶逻辑（TPTP）和SMT-LIB形式，采用Vampire、E、Z3和cvc5求解器进行验证。