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