Resumen: Consideramos el problema de evaluar y comparar las políticas computacionales en el lenguaje de derechos digitales abiertos (ODRL), que se ha convertido en el estándar de facto para gobernar el acceso y el uso de los recursos digitales. Aunque se ha realizado un progreso preliminar en la especificación formal de las características del idioma, todavía falta una semántica formal integral de ODRL. En este artículo, proporcionamos una semántica formal simple e intuitiva para ODRL que se basa en la respuesta de consultas. Nuestra semántica refina formalizaciones anteriores y está alineada con la última especificación publicada del lenguaje (2.2). Sobre la base de nuestra semántica de evaluación y motivado por los escenarios de intercambio de datos, también definimos y estudiamos el problema de comparar dos políticas, detectando políticas equivalentes, más restrictivas o más permisivas.
Publicado Originalme en export.arxiv.org El 7 de septiembre de 2025.
Ver Fuente Original
