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

Hi,

At some point, I would like to have a parallel conversation about ODRL and deontic logic.

After a few conversations, I think there is confusion or 'confusing due to the words used' to describe ODRL permissions / prohibitions / obligations vs the meanings from deontic logic, the question is around "expansion of rules" (e.g. https://www.w3.org/2012/09/odrl/archive/odrl.net/Profiles/Services/WD-20080402.html) where some of the rules (ex:Warranty, ex:Requirement) are a type of "deontic obligation, but they are not the same as odrl:Obligation", similar to indemnities and liabilities 

And I think it would be confusing to propose (and subsequently implement) that the current ODRL rules *are* the equivalent of the deontic logic concepts?

For example, from the link about ODRL-S, I agree in principle with Figure 2, but not with the part of Figure 1 that refers to Permission).

Regards,
___________________________________
Joshua Cornejo
marketdata <https://www.marketdata.md/>
smart authorisation management for the AI-era

On 21/11/2025, 08:40, "Nicoletta Fornara" <nicoletta.fornara@usi.ch> wrote:

    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/odrl/formal-semantics/#sectionPermissions
    
    The ongoing discussion is available on issue #135 https://github.com/w3c/odrl/issues/135
    
    The meeting details and the notes of the past meetings are available here: https://github.com/w3c/odrl/blob/master/formal-semantics/meetings/README.md
    Greetings, 
    
    Nicoletta, Victor, Renato
    ODRL Community Group Co-Chairs

Received on Friday, 21 November 2025 11:06:34 UTC