From 25c1a0c4415ea5981a1272a0ce467ca4db78f814 Mon Sep 17 00:00:00 2001 From: Nicoletta Fornara Date: Thu, 10 Oct 2024 15:55:46 +0200 Subject: [PATCH] Update index.html --- formal-semantics/index.html | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/formal-semantics/index.html b/formal-semantics/index.html index 969cbd3..b91758d 100644 --- a/formal-semantics/index.html +++ b/formal-semantics/index.html @@ -158,7 +158,9 @@

Semantics of Permission, Prohibition, and Obligation


- The concepts (objects) to be understood by an ODRL Evaluator therefore include: Policy, Permission, Prohibition, Obligation, Condition, Consequence, Remedy, Refinement, Constraint and State of the World. + The concepts (objects) to be understood by an ODRL Evaluator therefore include: Policy, Permission, + Prohibition, Obligation, Condition (Duty), Consequence, Remedy, Refinement, + Constraint, State of the World, and attempted action. Here follows a list of properties (with their possible values) needed by the ODRL Evaluator: