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

Respected Sir,

Does this mean that

(a) the 'Deontic State' (green) of 'not-set' is the same as 'not violated' ?
(b) the 'Deontic State' (green) is 'undefined' when the 'Activation State'
is 'inactive' ?

regards



On Wed, May 1, 2024 at 6:28 PM Joshua Cornejo <josh@marketdata.md> wrote:

> ·         From that section 2:
>
>    - Permission, Prohibition, Obligation (duty at the root level),
>    Condition (duty not at the root level) have a property called *activation
>    state*, which can take the values of *active* or *inactive*.
>    - Prohibition, Obligation, and Condition have a property called *deontic
>    state*, which can take the values of *not-set*, or *violated*, or
>    *fulfilled*. They can become violated or fulfilled only when they are
>    active.
>
>
>
> I have interpreted as 2 state machines that would look as follows
> (matching grey and green as above):
>
>
>
>
>
> ___________________________________
>
> *Joshua Cornejo*
>
> *marketdata <https://www.marketdata.md/>*
>
> embed open standards
>
> across your supply chain
>
>
>
> *From: *Sridhar Krishnamurthy <ksridhar@amagi.com>
> *Date: *Wednesday 1 May 2024 at 13:46
> *To: *<public-odrl@w3.org>
> *Subject: *'not-set' and 'not violated' in the context of prohibition
> [formal-semantics]
> *Resent-From: *<public-odrl@w3.org>
> *Resent-Date: *Wed, 01 May 2024 12:46:05 +0000
>
>
>
> 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.
>

-- 


**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.