A Formally Grounded ODRL Evaluator: Implementation and Comparison· 形式化的 ODRL 评估器：实现与比较
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 s
提出首个具有透明形式语义的ODRL评估器，提高数据访问策略的一致性和互操作性。
- 核心方法
- 基于现有的ODRL语义模型，研究者正式定义了ODRL评估在访问控制和监控场景下的问题，设计了适应静态和流式环境的新型高效算法，并实现了该评估器。
- 适合谁读
- 研究者 / 工程师
- 要解决的问题
- 当前ODRL标准缺乏数学形式语义，导致不同系统在实现政策评估时存在不同程度的互操作性和结果一致性问题。
- 关键实验
- 未提供
- 主要贡献
- 提供首个具有透明形式语义的ODRL评估器，有助于解决互操作性和结果一致性问题。
- 意义与局限
- 该研究为欧洲数据空间中的AI治理政策和数据工作流提供了一个更可靠的基础，促进了复杂数据环境中的标准化实践。然而，其实际应用效果还需进一步验证。