RE: Semantics of ODRL Meeting - next Monday 24 November 2025 at 12 UTC (1 pm CET)

Dear Antoine,
Thank you for your request for clarification, which is very useful for the community.

The “Semantics of ODRL Meetings” focus on discussing the semantics of ODRL 2.2 and it is drafted on the web page:
https://w3c.github.io/odrl/formal-semantics/


Right now, in the semantics subgroup, we are discussing the compliance with a permission and the compliance with a permission with duty (https://w3c.github.io/odrl/formal-semantics/#sectionPermissions).
We are also discussing one possible formalization of the state of the world, the evaluation request, and the evaluation report, in order to be able to provide at least one implementation of an ODRL evaluator.
Later on we will continue by discussing the compliance with a prohibition, with an obligation, with a policy that may contain different rules, and the compliance with a set of policies having the same target.

Next meeting will be on December 15, 2025 at 1pm UTC.

--------------------------------------------------------------------

Regarding the paper Bonatti et al. 2025 (chrome-extension://efaidnbmnnnibpcajpcglclefindmkaj/https://ceur-ws.org/Vol-3977/OPAL2025-4.pdf)

The semantics of permission that is written in the web page https://w3c.github.io/odrl/formal-semantics/#sectionPermissions is as follows:
The ODRL Evaluator computes that the action represented in the Evaluation Request is permitted by a Permission in the given State of the World iff:
1. The Permission is active AND
2. The action in the Evaluation Request belongs to the permitted class of actions with the correct target and assigee (when they are specified) AND
3. All the refinements (related to action, target, and assignee) are satisfied by the action in the Evaluation Request.

Such a definition is equivalent to Definition 2 in the paper Bonatti et al. 2025.

The definition of an active Permission in the web page is as follows:
The ODRL Evaluator computes that a Permission is active iif:
1. All the existing Constraints of the Rule are satisfied AND;
2. All the existing Conditions (duties) of the Rule are fulfilled or inactive;

This definition is slighly different from Definition 1 in the paper Bonatti et al. 2025, because in the paper the focus is on defining when "a rule is active" and not only on Permissions (in ODRL only Permission may have a duty as condition).
The difference is "compensated" in "Definition 6. Compliance with a permission with duties". Where it is required that the duty is fulfilled but it does not consider the possibility that the duty is inactive.
Remark 5 discusses this difference.

In conclusion, the definition of compliance for permissions presented on the web page and in Bonatti et al. 2025 are equivalent, except for the case of inactive duties.

Best regards
Nicoletta Fornara



-----Original Message-----
From: Antoine Zimmermann <antoine.zimmermann@emse.fr>
Sent: Thursday, 27 November 2025 18:20
To: Fornara Nicoletta <nicoletta.fornara@usi.ch>
Cc: public-odrl@w3.org
Subject: Re: Semantics of ODRL Meeting - next Monday 24 November 2025 at 12 UTC (1 pm CET)

Dear Nicoletta and ODRL CG members,

I recently joinded the group and I subscribed to the calendar event of the CG from the W3C website:

https://www.w3.org/events/meetings/1a8724dd-d30f-4912-8871-494dc909c79f/


The calendar says that there is a meeting next week on Monday, and that the previous meeting was on the 3rd of November.

Are these "Semantics of ODRL meetings" in addition and complementary to ordinary meetings?

I am interested in the semantics of ODRL and I'm wondering if the current state of the CG semantics is converging towards, or diverging from, the semantics proposed in the OPAL 2025 paper of Bonatti et al.:

https://ceur-ws.org/Vol-3977/OPAL2025-4.pdf


Best,
--AZ

Le 27/11/2025 à 09:32, Nicoletta Fornara a écrit :
> Dear all,
>
> I have just updated the meeting notes of last Monday's meeting [1].
> If there is anything you would like to add or correct, please let me know.
>
> Next Semantics of ODRL meeting will be on Monday December 15, 2025, at
> 1 p.m UTC (2 p.m. CET)
>
> Regards,
> Nicoletta
>
> [1]
> https://gith/

> ub.com%2Fw3c%2Fodrl%2Fblob%2Fmaster%2Fformal-semantics%2Fmeetings%2Fme
> eting-2025-11-24.md&data=05%7C02%7Cnicoletta.fornara%40usi.ch%7Caaa532
> 31c1c746f3fc3208de2dd938fd%7C95bdc5acafb54881801b3874f365cd6f%7C0%7C0%
> 7C638998608158358404%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsI
> lYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C
> 0%7C%7C%7C&sdata=QQCR6ec4UfI%2Fz9MoJ604UI52qm1MB2tEpjfusPXwujc%3D&rese
> rved=0
>
> -----Original Message-----
> From: Fornara Nicoletta
> Sent: Friday, 21 November 2025 09:40
> To: 'public-odrl@w3.org' <public-odrl@w3.org>
> Subject: Semantics of ODRL Meeting - next Monday 24 November 2025 at
> 12 UTC (1 pm CET)
>
> Dear all,
>
> The next Semantics of ODRL meeting is planned on next Monday 24 November 2025 at 12:00 UTC (13:00 CET).
>
> One of the goals of the meeting is to correct the formalization of the ***state of the world*** and of the ***evaluation request*** of the Permission examples in the ODRL Formal Semantics web page.
>
> The tables with the examples are available here:
> https://w3c/.

> github.io%2Fodrl%2Fformal-semantics%2F%23sectionPermissions&data=05%7C
> 02%7Cnicoletta.fornara%40usi.ch%7Caaa53231c1c746f3fc3208de2dd938fd%7C9
> 5bdc5acafb54881801b3874f365cd6f%7C0%7C0%7C638998608158378334%7CUnknown
> %7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4
> zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Z5pFzqUDpTPSI
> z0ql8O%2FLlF91i%2B5DwgpSfKJv7vI4X4%3D&reserved=0
>
> The ongoing discussion is available on issue #135
> https://gith/

> ub.com%2Fw3c%2Fodrl%2Fissues%2F135&data=05%7C02%7Cnicoletta.fornara%40
> usi.ch%7Caaa53231c1c746f3fc3208de2dd938fd%7C95bdc5acafb54881801b3874f3
> 65cd6f%7C0%7C0%7C638998608158396170%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU
> 1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldU
> IjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=pvakSVp1QN50jK4ExSPQVN0fDRIPiC3DLlhCIf
> GGwOM%3D&reserved=0
>
> The meeting details and the notes of the past meetings are available
> here:
> https://gith/

> ub.com%2Fw3c%2Fodrl%2Fblob%2Fmaster%2Fformal-semantics%2Fmeetings%2FRE
> ADME.md&data=05%7C02%7Cnicoletta.fornara%40usi.ch%7Caaa53231c1c746f3fc
> 3208de2dd938fd%7C95bdc5acafb54881801b3874f365cd6f%7C0%7C0%7C6389986081
> 58413454%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuM
> DAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&s
> data=4xOZtiKnBjHq%2F7pJ%2FFhF2hetIGMrfKoYCTzqInlIYKY%3D&reserved=0
> Greetings,
>
> Nicoletta, Victor, Renato
> ODRL Community Group Co-Chairs
>
>
>
>
>

--
Antoine Zimmermann
École des Mines de Saint-Étienne
158 cours Fauriel
CS 62362
42023 Saint-Étienne Cedex 2
France
Tél:+33(0)4 77 49 97 02
http://www.emse.fr/~zimmermann/

Received on Friday, 28 November 2025 08:11:33 UTC