Formal Semantics Meeting Notes 2023.07.10

Topic discussed:

Semantics of the duty as a condition for the activation of a Pemission.

The proposal to represent the state of permissions, prohibitions, and obligations using state machines.

We discussed that the difference between the semantics of refinement and constraint will become clear in the next version of ODRL.

Participants:

Nicoletta Fornara

Simon Steyskal

Beatriz Esteves

Víctor Rodríguez Doncel