Resumen:El lenguaje ODRL se ha convertido en el estándar para representar políticas y regulaciones de derechos digitales. Sin embargo, su complejidad es una barrera para su uso, lo que ha provocado que muchos trabajos teóricos y prácticos relacionados se centren en fragmentos diferentes y no interoperables de ODRL. Además, las políticas semánticamente equivalentes pueden expresarse de muchas maneras diferentes, lo que dificulta compararlas y procesarlas. Partiendo de una semántica recientemente definida, abordamos estos problemas proponiendo un enfoque que implica una normalización parametrizada de las políticas ODRL en sus componentes mínimos, que reformula las políticas con permisos y prohibiciones en políticas con permisos exclusivamente, y simplifica las restricciones lógicas complejas a simples. Proporcionamos algoritmos para calcular una forma normal para políticas ODRL y simplificar restricciones numéricas y simbólicas. Demostramos que estos algoritmos preservan la semántica de las políticas y analizan la complejidad del tamaño del resultado, que es exponencial en el número de atributos y lineal en el número de valores únicos para estos atributos. Mostramos cómo esto hace que las políticas complejas sean representables en fragmentos más básicos de ODRL, y cómo reduce el problema de la comparación de políticas al problema más simple de verificar si dos reglas son idénticas.
Publicado originalmente en export.arxiv.org el 15 de marzo de 2026.
Ver fuente original
