[formal-semantics] clarification regarding Example 14 monitoring scenario

This is with respect to the *monitoring scenario *associated with *example
14 *in https://w3c.github.io/odrl/formal-semantics/#sematics-of-permission.

The https://www.w3.org/TR/odrl-model/#constraint-action in the *ODRL
Information Model* that contains the *EXAMPLE 14* specifies that the Policy
is an *Offer*.

Questions:

1. In this context, is the statement '... if a print action that satisfies
the refinement is performed ...' valid ? Can an action be performed on a
*Offer*.
2. Even if an *action* were to be performed, shouldn't
   a. The column *P1.usage state *be changed to *P1.deontic state* and
values for both *E14-1* and *E14-2* be marked as *VIOLATED *as per
      (i)  *ODRL Evaluator/Policy Monitoring Scenario* in
https://w3c.github.io/odrl/formal-semantics/#intro and
      (ii) *Deontic state* in
https://w3c.github.io/odrl/formal-semantics/#section3 although this state
is only applicable to *Prohibition, Obligation* and *Condition.*

regards

-- 


**DISCLAIMER: **The contents of this email, including any attachments 
that it may contain, are privileged and confidential information, and may 
also constitute as proprietary, and are intended solely for the use of the 
addressee(s). If you are not the intended recipient, please notify the 
sender by email and delete the original message. Unintended recipients are 
strictly prohibited from copying, disclosing, and/or distributing such 
contents in any manner or form. Opinions, conclusions, and other 
information in this transmission that do not relate to the official 
business of Amagi, including all its affiliates, shall be understood as 
neither given nor endorsed by it. Any statements made herein that are 
tantamount to contractual obligations, promises, claims or commitments 
shall not be binding on the Company unless expressly and specifically 
stated as otherwise, or followed by written confirmation, by an authorized 
signatory of the Company.

Received on Monday, 12 February 2024 13:51:03 UTC