Re: [poe] What does it mean for permissions/prohibitions/duties if their constraint(s) are (un)satisfied?

In the meantime, the section on constraints was reworked and quoted 
paragraph now reads as follows:

> If multiple Constraint entities are linked **to the same Permission,
 Prohibition, or Duty entity**, then all the Constraint entities 
**within the Rule** MUST be satisfied. That is, all the Constraint 
entities are (boolean) anded together. 

What is _the Rule_ referring to? I suggest replacing _Permission, 
Prohibition, or Duty entity_ with _Rule_ and aligning the rest with:

- _The Permission entity MAY refer to one or more constraints. The 
Permission becomes effective if all of the constraints are satisfied._
 [1]
- _The Prohibition entity MAY refer to one or more constraints. The 
Prohibition becomes effective if all of the constraints are 
satisfied._ [2]
- _The Duty entity MAY refer to one or more constraints. The Duty 
becomes effective if all of the constraints are satisfied._ [3] 
  -> That's actually wrong.. A Duty is in effect from the very 
beginning, but the Permission a Duty is attached to isn't. Only if all
 constraints of a Duty are satisfied, is it considered to be 
_fulfilled_, and respective Permission may be in effect.

> If the **same Constraint** is repeated within the same Rule, then 
these Constraints MUST be represented as a single Constraint entity 
using an appropriate operator value (for example, **isAnyOf**).

I'm not sure how `isAnyOf` could be used to achieve that as it is 
defined as [4]: "_Indicating that a given value is any of the right 
operand of the Constraint._"  

Consider following example: 

```Turtle
:p1 a odrl:Permission ;
        odrl:action odrl:distribute ;
        odrl:constraint :c1, :c1, :c2, :c3 . 

:c1 a odrl:Constraint ;
        odrl:leftOperand odrl:spatial ;
        odrl:operator odrl:eq ;
        odrl:rightOperand <http://ontologi.es/place/IT> .

:c2 a odrl:Constraint ;
        odrl:leftOperand odrl:spatial ;
        odrl:operator odrl:eq ;
        odrl:rightOperand <http://ontologi.es/place/IT> .

:c3 a odrl:Constraint ;
        odrl:leftOperand odrl:spatial ;
        odrl:operator odrl:eq ;
        odrl:rightOperand <http://ontologi.es/place/AUT> .
```
what constraints should be "_merged_" together and why are they 
considered to be the _"same"_? 

[1] http://w3c.github.io/poe/model/#prohibition
[2] http://w3c.github.io/poe/model/#prohibition
[3] http://w3c.github.io/poe/model/#duty
[4] http://w3c.github.io/poe/vocab/#term-isAnyOf

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

Received on Tuesday, 28 February 2017 06:35:56 UTC