diff --git a/formal-semantics/index.html b/formal-semantics/index.html index ea9da53..97ee620 100644 --- a/formal-semantics/index.html +++ b/formal-semantics/index.html @@ -63,7 +63,7 @@

Introduction

considering a set of policies, the state of the world, and the description of the action that a user requests to perform on certain digital resources. It may be useful to distinguish between requested and attempted action. When an agent attempts to perform an action, - e.g. an agent double-clicks on a picture, if the action is not permitted the attempt is recorded + e.g., an agent double-clicks on a picture, if the action is not permitted the attempt is recorded and if it is the case sanctioned. In the case of a request, only the answer is generated: either the action is permitted or the action is denied. @@ -193,17 +193,15 @@

ODRL Evaluator

  1. a Policy;
  2. a formal description of the State of the World;
  3. -
  4. a formal description of an Evaluation Request that contains at least a description of an action (e.g. the type of the action, - the actor who is located in a given place, the target, and an instant of time);
  5. - - +
  6. a formal description of an Evaluation Request that contains at least a description of an action (e.g., the type of the action, the actor requesting/attempting the action, the target, and an instant of time);
  7. +
  8. an optional parameter specifying the behaviour of the system when a requested/attempted action is neither permitted nor prohibited by the Policy. Its value can be open or closed. The default value is closed.
+ The ODRL Evaluator produces as output:
  1. an Evaluation Report;
- This section describes the State of the World, the Evaluation Request and the Evaluation Report. + This section describes the State of the World, the Evaluation Request, the Behaviour, and the Evaluation Report.

State of the World

@@ -224,19 +222,20 @@

State of the World

As such, in this document, we aim to provide a minimal set of information that needs to be represented in the state of the world and respective definitions, which will be formally represented in an - RDF vocabulary: + RDF vocabulary: