Formal Semantics Meeting Notes 2024.05.10

Topic discussed:

1. Lifecycle of ODRL policies: "set", "offer", and "agreement".

Joshua will propose a lifecycle for ODRL policies.

2. "usage state" of Permissions

Nicoletta observed that as long as a "set" Permission is active, it can be used by many concrete actions performed by different agents (a set permission has not a specific assignee), therefore she proposed to remove the "usage state" for Permissions because it is not a state of the permission but it is a log that a specific permission has been used by a specific action. This log can be useful when setting an upper limit on the number of times a permission may be used by a particular agent and wanting to monitor the fulfilment of this condition. The proposal to remove the state has been approved.

3. Semantics of the duty as a condition for the activation of a Permission

https://w3c.github.io/odrl/formal-semantics/#examples-permission-with-duties

Nicoletta observed that there might be a connection between the agent performing the action satisfying the duty and the fact that the permit might become an agreement having that agent as assignee.

4. Discussion of the importance of giving semantics and examples in the best practice document (https://w3c.github.io/odrl/bp/) of the inheritFrom property and the nextPolicy property (to grant the specified Policy to a third party for its use of the Asset).

Participants:

Joshua C.

Nicoletta F.

Simon S.

Víctor R-D.

Gabriel H F-T.