'not-set' and 'not violated' in the context of prohibition [formal-semantics]

With respect to the deontic state of a Prohibition we see the following:

[Ref-A] Section https://w3c.github.io/odrl/formal-semantics/#section2
mentions 'not-set'.

[Ref-B] Section
https://w3c.github.io/odrl/formal-semantics/#sematics-of-prohibition
mentions 'not violated'.

Given this background the following questions arise:

(a) In general (for a Obligation and a Prohibition)

    If the 'Activation State' --> 'inactive' is the
           'Deontic State' --> 'not-set' ?
    Because as per [Ref-A] we see the statement
    "...They can become violated or fulfilled only when they are active...."

(b) In the context of a Prohibition

    If the 'Activation State' --> 'active' then there are
    just two possibilities for the 'Deontic State'. These are
    'not violated' and 'violated' as per [Ref-B].
    Is 'not violated' the default value of the 'Deontic State'
    because 'violated' is set only if an action is performed
    (which is Prohibited).

(c) With respect to (a) and (b) can we conclude that in the context of
    Prohibition 'not-set' is not the same as 'not violated' as there are
    three distinct values of the 'Deontic State' namely 'not-set',
    'not violated' and 'violated'. The former when the 'Activation State'
    is 'inactive' and the latter two when the 'Activation State' is
    'active'.

Forgive me if these are naive questions.
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 Wednesday, 1 May 2024 12:46:01 UTC