The spec is currently not clear about the meaning of filter shapes. They are tied in with the scoping mechanism. However, they are useful independently of scoping, e.g. applied to property constraints. A natural interpretation of filters is as an IF-THEN construct. * If the filter is not satisfied then the shape is satisfied, i.e. no violations can be raised by the constraints in the shape. * If the filter is satisfied then the shape is satisfied if and only if all the constraints in the shape are satisfied. With this definition, scopes and filters are independent features of SHACL. filters are always used when determining if a shape is satisfied. -- ArthurReceived on Thursday, 17 December 2015 17:59:33 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:28 UTC