Evaluation and Comparison Semantics for ODRL
This work addresses the need for formal verification and comparison in digital rights management, though it is incremental as it refines existing formalizations.
The paper tackles the lack of a comprehensive formal semantics for the Open Digital Rights Language (ODRL) by providing a simple, query-based formal semantics aligned with version 2.2, and defines the problem of comparing policies to detect equivalence or restrictiveness.
We consider the problem of evaluating, and comparing computational policies in the Open Digital Rights Language (ODRL), which has become the de facto standard for governing the access and usage of digital resources. Although preliminary progress has been made on the formal specification of the language's features, a comprehensive formal semantics of ODRL is still missing. In this paper, we provide a simple and intuitive formal semantics for ODRL that is based on query answering. Our semantics refines previous formalisations, and is aligned with the latest published specification of the language (2.2). Building on our evaluation semantics, and motivated by data sharing scenarios, we also define and study the problem of comparing two policies, detecting equivalent, more restrictive or more permissive policies.