Re: [poe] Unsatisfiable consequence example

Pondering which kinds of constraint can trigger such a "cannot be fulfilled" status of a Duty resulted in: "original Duties" (to use the term of the IM) with a temporal constraint cause this problem. But this cannot be solved by narrative only, an evaluator has to check consequences strictly and **if the payment has not been exercised inside the time frame set by the constraint it is impossible to fulfil the "original Duty"**, sorry we cannot put logic upside down. 

How to solve the problem outlined above by @riannella:
* the duty of a permission has an action to pay $10 and a constraint to pay before the 1 January 2018.
* if the action should be taken on 6 January 2018 and the $10 have not been paid the consequences are triggered:
  * consequence 1: pay the $10, but without a temporal constraint
  * consequence 2: pay the addition 10% = $1, also without a temporal constraint
(Ok: the consequences could be merged into a single payment of $11 ...)

This permission in JSON-LD (... using examples 23 and 20):
```
{
    "@context": "http://www.w3.org/ns/odrl.jsonld",
    "@type": "Agreement",
    "uid": "http://example.com/policy:66",
    "profile": "http://example.com/odrl:profile:09",
    "permission": [{
        "target": "http://example.com/data:77",
        "assigner": "http://example.com/org:99",
        "assignee": "http://example.com/person:88",
        "action": "distribute",
        "duty": [{
          "action": [{
              "rdf:value": {
                "@id": "odrl:compensate"
              },
              "refinement": [
                {
                  "leftOperand": "payAmount",
                  "operator": "eq",
                  "rightOperand": "10.00",
                  "unit": "http://dbpedia.org/resource/AUD"
                }]
            }],
            "constraint": [{
               "leftOperand": "dateTime",
               "operator": "lt",
               "rightOperand": "2018-01-01"
           }],
            "compensatedParty": "http://australia.gov.au/",
            "consequence": [{
              "action": [{
                  "rdf:value": {
                    "@id": "odrl:compensate"
                  },
                  "refinement": [
                    {
                      "leftOperand": "payAmount",
                      "operator": "eq",
                      "rightOperand": "10.00",
                      "unit": "http://dbpedia.org/resource/AUD"
                    }]
                }],
                "attributedParty": "http://australia.gov.au/"
              },{
              "action": [{
                  "rdf:value": {
                    "@id": "odrl:compensate"
                  },
                  "refinement": [
                    {
                      "leftOperand": "payAmount",
                      "operator": "eq",
                      "rightOperand": "1.00",
                      "unit": "http://dbpedia.org/resource/AUD"
                    }]
                }],
                "compensatedParty": "http://australia.gov.au/"
            }]
        }]
    }]
}
```

-- 
GitHub Notification of comment by nitmws
Please view or discuss this issue at https://github.com/w3c/poe/issues/275#issuecomment-333751962 using your GitHub account

Received on Tuesday, 3 October 2017 06:32:08 UTC