Skip to content

testcase-061-violated.md

Latest commit

 

History

History
95 lines (91 loc) · 4.49 KB

testcase-061-violated.md

File metadata and controls

95 lines (91 loc) · 4.49 KB

Read request from Alice to resource X returns into yes, if duty is not violated (Alice Request Read X - duty violated).

Source: https://github.com/SolidLabResearch/ODRL-Test-Suite/

Alice can only read X, given that eventually the duty is fulfilled.

ODRL Policy

@prefix odrl: <http://www.w3.org/ns/odrl/2/>.
@prefix ex: <http://example.org/>.
@prefix temp: <http://example.com/request/>.
@prefix dct: <http://purl.org/dc/terms/>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix report: <https://w3id.org/force/compliance-report#>.

<urn:uuid:5aa7f98c-65e0-4ff2-9846-40203203a58a> a odrl:Set;
    odrl:uid <urn:uuid:5aa7f98c-65e0-4ff2-9846-40203203a58a>;
    dct:description "Alice can only read X, given that eventually the duty is fulfilled.";
    dct:source <https://github.com/SolidLabResearch/ODRL-Test-Suite/>;
    odrl:permission <urn:uuid:f21be2f2-5efd-46ca-ac4c-0b37d9b9a526>.
<urn:uuid:f21be2f2-5efd-46ca-ac4c-0b37d9b9a526> a odrl:Permission;
    odrl:assignee ex:alice;
    odrl:action odrl:read;
    odrl:target ex:x;
    odrl:duty <urn:uuid:a0b12cb7-d3a1-4953-86da-f59a597615d2>.
<urn:uuid:a0b12cb7-d3a1-4953-86da-f59a597615d2> a odrl:Duty;
    odrl:action odrl:compensate.

ODRL Request

@prefix odrl: <http://www.w3.org/ns/odrl/2/>.
@prefix ex: <http://example.org/>.
@prefix temp: <http://example.com/request/>.
@prefix dct: <http://purl.org/dc/terms/>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix report: <https://w3id.org/force/compliance-report#>.

<urn:uuid:1bafee59-006c-46a3-810c-5d176b4be364> a odrl:Request;
    odrl:uid <urn:uuid:1bafee59-006c-46a3-810c-5d176b4be364>;
    dct:description "Requesting Party ALICE requests to READ resource X.";
    odrl:permission <urn:uuid:186be541-5857-4ce3-9f03-1a274f16bf59>.
<urn:uuid:186be541-5857-4ce3-9f03-1a274f16bf59> a odrl:Permission;
    odrl:assignee ex:alice;
    odrl:action odrl:read;
    odrl:target ex:x.

State of the world

@prefix odrl: <http://www.w3.org/ns/odrl/2/>.
@prefix ex: <http://example.org/>.
@prefix temp: <http://example.com/request/>.
@prefix dct: <http://purl.org/dc/terms/>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix report: <https://w3id.org/force/compliance-report#>.

temp:currentTime dct:issued "2024-02-12T11:20:10.999Z"^^xsd:dateTime.
<urn:uuid:517d1bd4-fcae-46f9-a2a3-414da2cf4fe1> a report:PolicyReport;
    dct:created "2024-02-12T11:20:10.999Z"^^xsd:dateTime;
    report:policy <urn:uuid:5aa7f98c-65e0-4ff2-9846-40203203a58a>;
    report:ruleReport <urn:uuid:6122101e-a4d6-4e1a-9e35-a3ed124a09b8>.
<urn:uuid:6122101e-a4d6-4e1a-9e35-a3ed124a09b8> a report:DutyReport;
    report:attemptState report:Attempted;
    report:rule <urn:uuid:a0b12cb7-d3a1-4953-86da-f59a597615d2>;
    report:performanceState report:Unperformed;
    report:deonticState report:Violated.

Evaluation result: Compliance Report

@prefix odrl: <http://www.w3.org/ns/odrl/2/>.
@prefix ex: <http://example.org/>.
@prefix temp: <http://example.com/request/>.
@prefix dct: <http://purl.org/dc/terms/>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix report: <https://w3id.org/force/compliance-report#>.

<urn:uuid:e001b361-9f6e-4e05-84bd-510d2870c83d> a report:PolicyReport;
    dct:created "2024-02-12T11:20:10.999Z"^^xsd:dateTime;
    report:policy <urn:uuid:5aa7f98c-65e0-4ff2-9846-40203203a58a>;
    report:policyRequest <urn:uuid:1bafee59-006c-46a3-810c-5d176b4be364>;
    report:ruleReport <urn:uuid:ac38b6ef-fd36-4b6c-ac14-d27e8475f499>.
<urn:uuid:ac38b6ef-fd36-4b6c-ac14-d27e8475f499> a report:PermissionReport;
    report:attemptState report:Attempted;
    report:rule <urn:uuid:f21be2f2-5efd-46ca-ac4c-0b37d9b9a526>;
    report:ruleRequest <urn:uuid:186be541-5857-4ce3-9f03-1a274f16bf59>;
    report:premiseReport <urn:uuid:9cb53011-6794-4e44-bb4c-b0e585be276b>, <urn:uuid:fdea884d-bd8c-499b-89dc-9c7784a7a6f0>, <urn:uuid:8eaf15bf-b0d1-4cee-bf0f-ffac9bb3fb14>;
    report:conditionReport <urn:uuid:6122101e-a4d6-4e1a-9e35-a3ed124a09b8>;
    report:activationState report:Inactive.
<urn:uuid:9cb53011-6794-4e44-bb4c-b0e585be276b> a report:TargetReport;
    report:satisfactionState report:Satisfied.
<urn:uuid:fdea884d-bd8c-499b-89dc-9c7784a7a6f0> a report:PartyReport;
    report:satisfactionState report:Satisfied.
<urn:uuid:8eaf15bf-b0d1-4cee-bf0f-ffac9bb3fb14> a report:ActionReport;
    report:satisfactionState report:Satisfied.