Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints

Resumen Técnico: Semánticas Alineadas a Ejes para ODRL

Enunciado del Problema
El Lenguaje de Derechos Digitales Abiertos (ODRL) es el estándar del W3C para expresar políticas de acceso y uso, ampliamente adoptado en espacios de datos como el "Espacio de Datos Culturales" alemán. Sin embargo, ODRL representa las restricciones de política como triples (operando izquierdo, operador, operando derecho) sin identidad de eje explícita. Esto crea una ambigüedad crítica para activos digitales multi-eje (por ejemplo, imágenes de mapa de bits con ancho/altura, escaneos 3D con ancho/altura/profundidad, o datos geoespaciales con longitud/latitud/altitud).

Específicamente, cinco operandos espaciales izquierdos en ODRL—absoluteSize, relativeSize, absoluteSpatialPosition, relativeSpatialPosition y spatialCoordinates—rangedan sobre dominios multi-eje (productos de dominios totalmente ordenados de valores reales). La sintaxis actual trata estos como atributos únicos e indiferenciados. En consecuencia, los motores de política no pueden distinguir si múltiples restricciones se aplican al mismo eje o a diferentes. Por ejemplo, una política que contiene (absoluteSize, lteq, 1920) y (absoluteSize, lteq, 1080) no puede interpretarse sin ambigüedad como aplicable al ancho, a la altura o a ambos. Esta ambigüedad hace que la detección de conflictos sea insana o incompleta, ya que los motores no pueden determinar si las restricciones se superponen o son disjuntas. Las formalizaciones existentes de ODRL (por ejemplo, lógica de primer orden o semánticas basadas en reglas) típicamente colapsan estos operandos multi-eje en dominios escalares únicos, fallando en resolver esta ambigüedad dimensional.

Metodología
Los autores proponen un método general de descomposición de ejes, instanciado como el Perfil Alineado a Ejes de ODRL (OAAP). La metodología procede de la siguiente manera:

1. Descomposición de Ejes: Los operandos multi-eje son reemplazados por un conjunto de operandos escalares distintos y específicos de eje. Por ejemplo, absoluteSize se descompone en oaap:absoluteSizeWidth, oaap:absoluteSizeHeight y oaap:absoluteDepth. Cada nuevo operando rangeda sobre un dominio específico y totalmente ordenado (por ejemplo, $(0, \infty)$ para dimensiones de tamaño).
2. Semántica de Intervalos: El perfil restringe los operadores a "operadores de intervalo" (lt, lteq, gt, gteq, eq). Bajo esta restricción, cada restricción denota un intervalo contiguo en su eje específico. Un conjunto de restricciones en un solo eje se normaliza en un único intervalo mediante intersección.
3. Denotación de Cajas: El conjunto de restricciones de una política sobre un operando multi-eje se interpreta como una caja alineada a ejes (el producto cartesiano de los intervalos normalizados para cada eje).
4. Álgebra de Veredictos de Tres Valores: La detección de conflictos se define utilizando una lógica de tres valores:
   • Conflicto: La intersección de intervalos (o cajas) está vacía.
   • Compatible: La intersección no está vacía.
   • Desconocido: Una política restringe un eje mientras que la otra no (el silencio no se interpreta como permiso).
   • Estos veredictos se componen utilizando conjunción y disyunción de Kleene fuerte, donde Conflicto es el elemento mínimo y Compatible es el máximo.
5. Composición Lógica: Las semánticas manejan los operadores lógicos (and, or, xone) agregando veredictos de cajas. Para las disyunciones, una política es compatible si cualquier par de ramas es compatible; entra en conflicto solo si todos los pares de ramas entran en conflicto.
6. Puente de Ejecución: El marco define una relación de satisfacción donde una solicitud (un mapeo parcial de valores de eje) satisface una política si los valores caen dentro de los intervalos denotados.

Contribuciones Clave

• Perfil OAAP: Una ontología OWL 2 y un grafo de formas SHACL que introduce 15 operandos izquierdos específicos de eje para los cinco términos espaciales afectados. Preserva la compatibilidad hacia atrás dejando los operandos y operadores no de intervalo sin cambios.
• Semánticas Formales: Una semántica denotacional que mapea restricciones a intervalos y políticas a cajas alineadas a ejes. El artículo demuestra:
  • Expresividad: Cada caja alineada a ejes puede ser representada por una conjunción de restricciones bien formadas específicas de eje.
  • Solidez: Un veredicto de Conflicto garantiza que las denotaciones de dos políticas son disjuntas (ninguna solicitud puede satisfacer ambas).
  • Monotonía: Refinar una política (estrechando sus intervalos) solo puede mover el veredicto hacia Conflicto, nunca hacia Compatible.
  • Nitidez de Desconocido: Si un veredicto es Desconocido, existen completaciones de los ejes no restringidos que resultan en Compatible o Conflicto.
• Evaluación: Los autores validaron el marco en un conjunto de referencia de 256 problemas de política derivados del escenario de datos culturales BSB–BnF. Estos problemas fueron expresados en Turtle, compilados a formatos de Lógica de Primer Orden (TPTP) y SMT-LIB, y verificados utilizando cuatro solucionadores: Vampire, E, Z3 y cvc5. Los 256 problemas fueron verificados con plena concordancia entre formalismos y solucionadores, con tiempos de ejecución inferiores a 11 segundos en total.

Resultados
La evaluación confirma que el método de descomposición es sólido y que las semánticas de intervalo resuelven correctamente la ambigüedad dimensional. Los solucionadores verificaron con éxito:

• Denotaciones de intervalos y cajas (incluyendo proyección y normalización).
• El criterio de conflicto basado en la precedencia de puntos finales.
• Reglas de composición lógica para and, or y xone.
• Contención de cajas y las propiedades de los veredictos Desconocido.
• Satisfacción en tiempo de ejecución (decisiones de permitir/denegar).
• Solidez mediante ejemplos negativos (veredictos deliberadamente incorrectos fueron refutados correctamente).

Los resultados demuestran que los solucionadores SMT comerciales (como Z3) pueden decidir estas restricciones en milisegundos, apoyando la posible verificación de conflictos en tiempo de ejecución.

Significado
El artículo afirma que OAAP resuelve el problema de larga data de la ambigüedad dimensional en ODRL sin alterar la sintaxis central de restricciones. Al descomponer operandos multi-eje en términos escalares específicos de eje, el perfil permite una detección de conflictos sólida y completa para regiones alineadas a ejes. Los autores enfatizan que este enfoque no se limita a datos espaciales; se aplica a cualquier operando sobre un dominio totalmente ordenado (por ejemplo, operandos temporales futuros). Si bien el método es sólido, los autores notan modestamente que no es completo para regiones no alineadas a ejes (por ejemplo, restricciones de relación de aspecto o formas circulares), las cuales permanecen fuera del alcance de las semánticas de intervalo actuales. El trabajo proporciona una base formal para gobernar activos multi-eje en espacios de datos, asegurando que los motores de política puedan determinar de manera fiable la compatibilidad y el conflicto.