From 2c6833a80cd97d82c95448775192ab5eba061cdb Mon Sep 17 00:00:00 2001 From: Nicoletta Fornara Date: Wed, 7 Feb 2024 15:03:52 +0100 Subject: [PATCH] Update index.html --- formal-semantics/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/formal-semantics/index.html b/formal-semantics/index.html index ec7f6c0..d72d8f4 100644 --- a/formal-semantics/index.html +++ b/formal-semantics/index.html @@ -37,7 +37,7 @@

Introduction

The ODRL ontology can be used as a data model to represent machine-readable Policies and associate them with digital or analog assets. By using a machine-readable language to represent policies, ODRL implementations can provide useful functionalities such as those of a policy search engine, a policy compatibility checker, an access control system, a monitoring system, or a policy planning system.

- However, neither the specification of the model (which is in a text form) nor the vocabulary (which is in an OWL ontology) accurately describe the behaviour of an ODRL implementation. + However, neither the specification of the model (in a text form) nor the vocabulary (in an OWL ontology) accurately describe the behaviour of an ODRL implementation. Therefore this specification defines the expected behaviour of an ODRL Evaluator. Namely, given a collection of ODRL policies and a formal description of a particular state of the world, the objective of an ODRL Evaluator is to determine: