A Formally Grounded ODRL Evaluator: Implementation and Comparison
Summary
This paper presents a formally grounded ODRL evaluator with transparent semantics, supporting all rule types, and compares its performance with existing evaluators, addressing interoperability issues in policy modelling for data access and AI governance.
View Cached Full Text
Cached at: 07/20/26, 09:23 AM
# A Formally Grounded ODRL Evaluator: Implementation and Comparison Source: [https://arxiv.org/abs/2607.15987](https://arxiv.org/abs/2607.15987) [View PDF](https://arxiv.org/pdf/2607.15987) > Abstract:The ODRL policy language is emerging as the de\-facto standard for policy modelling data access and usage preferences, AI governance policies and data workflows in European dataspaces\. The current standard has no mathematical formal semantics to describe how a system should implement policy evaluation\. This has resulted in a variety of systems and tools that implement their own interpretation of the language, which limits interoperability and cannot guarantee consistent results\. Based on an existing semantic model of ODRL, we formalise the problems of ODRL evaluation for the access control and monitoring scenarios, in both static and streaming settings, and we provide a novel, efficient algorithm and implementation\. We present the first ODRL Evaluator with transparent formal semantics and supporting all rule types\. We experimentally measure its performance, analysing different scalability dimensions related to policy complexity and size of the data on which a policy is evaluated\. We compare our system with the state\-of\-the\-art by providing a comparative review of existing ODRL evaluators, which highlights the differences in supported ODRL features and evaluation modes\. ## Submission history From: Paolo Pareti Dr\. \[[view email](https://arxiv.org/show-email/e985a630/2607.15987)\] **\[v1\]**Fri, 17 Jul 2026 14:24:06 UTC \(52 KB\)
Similar Articles
DataFlex-RL: An Evaluation Platform for RLVR Data Policies
DataFlex-RL is an evaluation platform for RLVR data policies that finds uniform sampling performs comparably to adaptive methods across mathematics, logic, and science benchmarks.
Evaluating Bounded Autonomy in Regulated Agentic AI: A Diagnostic Harness with Constitutional Rewards, Escalation Labels, and Runtime Governance
The paper proposes RegLLM, a diagnostic harness for evaluating bounded autonomy in regulated agentic AI workflows, instrumenting six trustworthiness signals with constitutional rewards, escalation labels, and runtime governance. Small-scale Qwen2.5-3B pilots reveal that configuration variance can overwhelm apparent tuning effects on bounded-autonomy metrics, motivating larger evaluation sets and repeated runs.
Deontic Policies for Runtime Governance of Agentic AI Systems
This paper proposes AgenticRei, a framework for runtime governance of LLM-driven agentic AI systems using deontic policies expressed in OWL, enabling obligations, dispensations, and conflict resolution beyond traditional policy engines.
ReguSim: Evaluating LLM Agent Rule Grounding in Financial Compliance
Introduces ReguSim and ReguBench to evaluate LLM agent rule grounding in financial compliance, finding that visible rules reduce but do not eliminate violations and that incentive framing affects behavior.
ODRPO: Ordinal Decompositions of Discrete Rewards for Robust Policy Optimization
Introduces ODRPO, a framework that decomposes discrete rewards into ordinal binary indicators to improve robustness of policy optimization in RLAIF for LLMs, achieving up to 14.8% relative improvement with minimal overhead.