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
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.
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.
Evaluation Cards: An Interpretive Layer for AI Evaluation Reporting
This paper introduces EvalCards, an operational framework that standardizes AI evaluation reporting by composing benchmark metadata, evaluation run data, and model metadata into a unified record with interpretive signals for reproducibility, completeness, provenance, risk, and score comparability. The authors deploy a monitoring tool across thousands of models and benchmarks, revealing systematic gaps in current reporting practices.
Ontological Knowledge Blocks: Executable Compliance and Profile-Based Validation for Trustworthy AI Systems
This paper introduces Ontological Knowledge Blocks (OKBs), a programmable governance infrastructure that compiles regulatory obligations into machine-checkable constraints for trustworthy AI systems, with prototype evaluation in HPC resource allocation.
RLearner-LLM: Balancing Logical Grounding and Fluency in Large Language Models via Hybrid Direct Preference Optimization
This paper introduces RLearner-LLM, a framework using Hybrid-DPO to balance logical correctness and fluency in LLM-generated explanations, achieving significant NLI entailment improvements across multiple domains and base models while mitigating the verbosity bias of standard preference signals.