El artículo formula el Principio de Diseño de Nivel Cruzado para abordar cómo los evaluadores de políticas ODRL no logran especificar posiciones normativas, estructuras de autoridad o poder de declaración de violación. Establece que cualquier lenguaje normativo con normas violables requiere tanto posiciones a nivel de conducta como Permiso y Deber, como posiciones a nivel de competencia tales como Poder e Inmunidad.
- La prohibición se identifica como sancionada, mientras que el permiso se encuentra subespecificado en su parámetro de comportamiento.
- La semántica formal actualmente cubre solo obligaciones de logro, las cuales los autores extienden mapeando las reglas ODRL a relators legales en UFO-L.
- La cobertura de posiciones legales se amplía de dos a ocho, convirtiendo la autoridad de declaración de violación en un par explícito Poder-Sujeción.
- Todos los axiomas fueron verificados mecánicamente en Isabelle/HOL y probados contra una batería de 39 problemas utilizando Vampire, E y Z3.
Este aterrizaje proporciona un marco ontológico más completo para ODRL definiendo explícitamente las posiciones normativas y estructuras de autoridad que los evaluadores existentes asumen implícitamente.