Formal Semantics Meeting Notes 2022.10.28

From ODRL Initiative

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

Retrieved from "https://www.w3.org/community/odrl/wiki/index.php?title=Formal_Semantics_Meeting_Notes_2022.10.28&oldid=539"