- From: Sridhar Krishnamurthy <ksridhar@amagi.com>
- Date: Wed, 1 May 2024 18:15:43 +0530
- To: public-odrl@w3.org
- Message-ID: <CAML7Ke_pFOuaPXrk1+9eROeW+0yVcy5LkOdGPx8=8XM7ONTS1Q@mail.gmail.com>
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