[poe] Validator/validation/valid-related terminology

nitmws has just created a new issue for https://github.com/w3c/poe:

== Validator/validation/valid-related terminology ==
The IM of 1 September defines in 1.3 Terminology the term "ODRL Validator" as 

> A system that checks the conformance of ODRL Policy expressions with respect to the ODRL Information Model validation requirements.

It defines two key features:
1. checking conformance
2. being aware of validation requirements

**re 1: conformance with IM**
* 2.1 Policy Class defines that a Profile can define "conformance requirements" - I assume they don't have to be covered by a "Core IM" Valdiator.
* 2.6.8 outlines what an ODRL Validator has to validate - by examples: "For example, this includes property cardinality and relationships, and conforming to validation requirements."
* That's all about a Validator covering the conformance to the IM.
* What is missing: to write down what a Validator must validate outside an example, e.g. in the Terminology definition. (A general issue: the whole section 1 is not-normative!)
I suggest: 
**A system that checks the conformance of ODRL Policy expressions, including the cardinality of properties and if they are related to types of values as defined by the ODRL Information Model, and the Information Model's validation requirements.**

**re 2: validation requirements**
* The are defined in 2.5.2 Logical Constraints, 2.7 Policy Rule Composition, 2.7.1 Compact Policy, 2.8 Policy Metadata, 2.9 Policy Inheritance in a consistent way - that's fine

**The "valid" status of a Policy**
* Section 2.10 Policy Conflict Strategy defines checks clearly outside the definition of the ODRL Validator - and that this check has an impact on the valid/invalid state of a Policy. 
* This causes terminology confusion:
  * a processor called Validator returns for its validations as result the Policy is **(not) conforming** to the IM - and NOT that the Policy is **valid** or **invalid**
  * checking the conflicts inside a Policy - which is not done by the Validator -  returns as result **valid** or **invalid**
* Knowing that this would change a term with a long history but for making the IM more transparent I suggest: 
**the results of checking Policies for conflicts results in "in-conflict" and "no-conflict"**
... and the **enumeration term "invalid" should be changed to "unusable"** 


Please view or discuss this issue at https://github.com/w3c/poe/issues/237 using your GitHub account

Received on Friday, 1 September 2017 16:52:12 UTC