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

+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

Received on Tuesday, 13 February 2024 15:23:59 UTC