Re: [poe] On 2.6.8 Rule Active State Processing

Based on the call on 31 August and the statement that 2.6.8 must not indicate any sequence of processing the Active state and Duties I suggest to rephrase this section from the 2nd para on - see below.

But first I suggest to consider the heading Rule Active State Processing as this section covers now more than that. What about: **Rule Active State and Further Processing**

An ODRL Evaluator MUST evaluate if Rule is in the **Active** state and if related Duties have been fulfilled to determine the outcome of the Rule.

If all constraint properties of a Rule are satisfied to determine the Rule is **Active**, if at least one of the constraints is not satisfied, then to determine the Rule is **Non-Active**. If a Rule has no constraint properties, then it is **Active**. A **Non-Active** Rule means that no outcome of the Rule can be determined.

To set the outcome state **Ready-for-Exercising** of a Permission, any existing duty properties MUST be Fulfilled and it MUST be Active. If at least one duty property is not Fulfilled or if the Permission is Non-Active the outcome state is set to **Not-Ready-for-Exercising**.

If a Prohibition is Not-Active no outcome state can be set.
For a Prohibition the Evaluator must check if its action was exercised. If it has not been exercised and if the Prohibition is Active the outcome state is set to **Not-Violated**. 
If the action has been exercised and no remedy properties exist and the Prohibition is Active its state is set to **Violated**. 
If remedy properties exist and if they are Not-Fulfilled and if the Prohibition is Active its state is set to **Violated**. If remedy properties exist and if they are Fulfilled and if the Prohibition is Active its state is set to **Not-Violated**.

If a Duty is Not-Active its outcome state is **Not-Fulfilled**.
For a Duty the evaluator must check if its action was exercised. If it has been exercised and if the Duty is Active the outcome state is set to **Fulfilled**. 
If the action has not been exercised and no consequence properties exists and if the Duty is Active its state is set to **Not-Fulfilled**. 
If the action has not been exercised and consequence properties exist and if they are Fulfilled and if the Duty is Active its state is set to **Fulfilled**. 
If the action has not been exercised and consequence properties exist and if they are Not-Fulfilled and if the Duty is Active its state is set to **Not-Fulfilled**. 


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

Received on Thursday, 31 August 2017 14:43:21 UTC