View source for Formal Semantics Meeting Notes 2022.10.28

Topic discussed: activation conditions of rules and constraints.
Starting point for the discussion: Policy Evaluator https://www.w3.org/2016/poe/wiki/Evaluator

In order to clarify the semantics of ODRL it is important to clarify the different semantics of the:
* '''constraint''' of a Rule;
* '''refinement''' of an Action.

Once this distinction has been clarified, we move on to give the semantics of the various types of rules defined in ODRL.

We discussed the examples shared by Ben that are available here:

https://w3c.github.io/market-data-odrl-profile/patterns.html

https://w3c.github.io/market-data-odrl-profile/md-odrl-profile-draft.html

At the end of the discussion, the web page on ODRL Formal Semantics has been updated with a new section 
https://w3c.github.io/odrl/formal-semantics/#section3

'''Participants'''

Nicoletta Fornara

Simon Steyskal

Beatriz Esteves

Soheil Roshanskish

Benedict Whittam Smith

Víctor Rodríguez Doncel