Re: [formal-semantics] clarification regarding Example 14 monitoring scenario

I am a novice and it's very heartening to get responses from you all.
Will surely get back for clarification if needed.
Thank you all once again.

On Tue, Feb 13, 2024 at 8:54 PM Víctor Rodríguez Doncel <
vrodriguez@fi.upm.es> wrote:

> +1 -- thanks for your valuable comments!
> Víctor
>
> On 13/02/2024 16:13, nicoletta.fornara@usi.ch wrote:
> > Dear Sridhar,
> >
> > thank you very much for your feedback on the content of the "ODRL Formal
> Semantics" draft report
> >
> > (https://w3c.github.io/odrl/formal-semantics/). It is really useful!
> >
> > I agree with Joshua Cornejo's answer.
> >
> >
> > 1. You are right, we will make it clear in the text that we are reusing
> Example 14 but considering it having
> >
> > "@type": "Set".
> >
> >
> > 2. A Permission will never be violated. In the monitoring scenario,
> under certain condition it is possible that performing an action that is
> not permitted will generate a violation (
> https://w3c.github.io/odrl/formal-semantics/#sematics-of-permission)
> >
> > I hope it is clear, but if not, let's talk about it.
> >
> >
> > Regards
> >
> > Nicoletta
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> > ________________________________
> > Da: Sridhar Krishnamurthy <ksridhar@amagi.com>
> > Inviato: lunedì, 12 febbraio 2024 14:50:42
> > A: public-odrl@w3.org
> > Oggetto: [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.
> >
>
> --
> Víctor Rodríguez-Doncel
> D3205 - Ontology Engineering Group (OEG)
> Departamento de Inteligencia Artificial
> ETS de Ingenieros Informáticos
> Universidad Politécnica de Madrid
>
>
> ---
> El software de antivirus Avast ha analizado este correo electrónico en
> busca de virus.
> https://www.avast.com/antivirus
>
>
>

-- 


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