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

·         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

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.