Skip to content

Latest commit

 

History

History
125 lines (121 loc) · 6.31 KB

testcase-067-alice-past.md

File metadata and controls

125 lines (121 loc) · 6.31 KB
Raw

Read request from people in party collection to resource X in 2024 returns into yes (Alice Request Read X - past).

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

A party collection can only read X, during 2024, 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: <http://example.com/report/temp/>.

<urn:uuid:cc4995de-9c5e-4e12-9039-698506f6ab1c> a odrl:Set;
    odrl:uid <urn:uuid:cc4995de-9c5e-4e12-9039-698506f6ab1c>;
    dct:description "A party collection can only read X, during 2024, given that eventually the duty is fulfilled.";
    dct:source <https://github.com/SolidLabResearch/ODRL-Test-Suite/>;
    odrl:permission <urn:uuid:38578227-70b7-4649-980d-661a57e91b72>.
<urn:uuid:38578227-70b7-4649-980d-661a57e91b72> a odrl:Permission;
    odrl:assignee ex:partyCollection;
    odrl:action odrl:read;
    odrl:target ex:x;
    odrl:duty <urn:uuid:4129123f-d8a8-481e-87fc-aba6dda5b6a5>;
    odrl:constraint <urn:uuid:553d2546-a1bb-4e05-af99-95cef8c3b750>.
<urn:uuid:4129123f-d8a8-481e-87fc-aba6dda5b6a5> a odrl:Duty;
    odrl:action odrl:compensate.
<urn:uuid:553d2546-a1bb-4e05-af99-95cef8c3b750> a odrl:LogicalConstraint;
    odrl:and <urn:uuid:6e8d7da2-0c51-4fab-a863-5e885a4b0f64>, <urn:uuid:c946aac6-dac5-4450-8bd5-fae5f235b6e9>.
<urn:uuid:c946aac6-dac5-4450-8bd5-fae5f235b6e9> a odrl:Constraint;
    odrl:leftOperand odrl:dateTime;
    odrl:operator odrl:gt;
    odrl:rightOperand "2024-01-01T00:00:00.000Z"^^xsd:dateTime.
<urn:uuid:6e8d7da2-0c51-4fab-a863-5e885a4b0f64> a odrl:Constraint;
    odrl:leftOperand odrl:dateTime;
    odrl:operator odrl:lt;
    odrl:rightOperand "2024-12-31T23:59:59.000Z"^^xsd:dateTime.
ex:partyCollection a odrl:PartyCollection;
    odrl:source ex:partyIdentifier.

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: <http://example.com/report/temp/>.

<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: <http://example.com/report/temp/>.

temp:currentTime dct:issued "2023-02-12T11:20:10.999Z"^^xsd:dateTime.
<urn:uuid:17ced35e-39ff-427d-a9c8-cfa4c5f44d1b> 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:ef7b885c-3322-4f79-90d6-aeb6c7e682ec>.
<urn:uuid:ef7b885c-3322-4f79-90d6-aeb6c7e682ec> a report:DutyReport;
    report:attemptState report:Attempted;
    report:rule <urn:uuid:a0b12cb7-d3a1-4953-86da-f59a597615d2>;
    report:performanceState report:Performed;
    report:deonticState report:Fulfilled.
ex:alice a foaf:Person;
    odrl:partOf ex:partyIdentifier.

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: <http://example.com/report/temp/>.

<urn:uuid:5ce8a6f6-9c82-41f5-8037-977cc6b819d0> a report:PolicyReport;
    dct:created "2023-02-12T11:20:10.999Z"^^xsd:dateTime;
    report:policy <urn:uuid:cc4995de-9c5e-4e12-9039-698506f6ab1c>;
    report:policyRequest <urn:uuid:1bafee59-006c-46a3-810c-5d176b4be364>;
    report:ruleReport <urn:uuid:b0982cbc-6cb4-4167-a241-421cfb6c7443>.
<urn:uuid:b0982cbc-6cb4-4167-a241-421cfb6c7443> a report:PermissionReport;
    report:premiseReport <urn:uuid:f9d45480-a811-48cd-acba-f333454fc177>, <urn:uuid:70076c9c-8394-4155-a90d-86ad01f2f4ae>, <urn:uuid:54f629fd-d065-480e-b676-ccec516c4b7f>, <urn:uuid:316d4503-994a-4fdc-a3b7-02e6dbd78b45>;
    report:attemptState report:Attempted;
    report:rule <urn:uuid:38578227-70b7-4649-980d-661a57e91b72>;
    report:ruleRequest <urn:uuid:186be541-5857-4ce3-9f03-1a274f16bf59>;
    report:conditionReport <urn:uuid:ef7b885c-3322-4f79-90d6-aeb6c7e682ec>;
    report:activationState report:Inactive.
<urn:uuid:f9d45480-a811-48cd-acba-f333454fc177> a report:ConstraintReport;
    report:constraint <urn:uuid:553d2546-a1bb-4e05-af99-95cef8c3b750>;
    report:satisfactionState report:Unsatisfied;
    report:constraintLogicalOperand odrl:and;
    report:premiseReport <urn:uuid:b08a8dcf-c297-48b0-8bec-1bfe0bfc69fe>, <urn:uuid:61318941-978c-4ddc-8e2b-72f2df0347d9>.
<urn:uuid:b08a8dcf-c297-48b0-8bec-1bfe0bfc69fe> a report:ConstraintReport;
    report:constraint <urn:uuid:6e8d7da2-0c51-4fab-a863-5e885a4b0f64>;
    report:constraintLeftOperand "2023-02-12T11:20:10.999Z"^^xsd:dateTime;
    report:constraintOperator odrl:lt;
    report:constraintRightOperand "2024-12-31T23:59:59.000Z"^^xsd:dateTime;
    report:satisfactionState report:Satisfied.
<urn:uuid:61318941-978c-4ddc-8e2b-72f2df0347d9> a report:ConstraintReport;
    report:constraint <urn:uuid:c946aac6-dac5-4450-8bd5-fae5f235b6e9>;
    report:constraintLeftOperand "2023-02-12T11:20:10.999Z"^^xsd:dateTime;
    report:satisfactionState report:Unsatisfied.
<urn:uuid:70076c9c-8394-4155-a90d-86ad01f2f4ae> a report:TargetReport;
    report:satisfactionState report:Satisfied.
<urn:uuid:54f629fd-d065-480e-b676-ccec516c4b7f> a report:PartyReport;
    report:satisfactionState report:Satisfied.
<urn:uuid:316d4503-994a-4fdc-a3b7-02e6dbd78b45> a report:ActionReport;
    report:satisfactionState report:Satisfied.