W3C home > Mailing lists > Public > public-data-shapes-wg@w3.org > December 2015

ISSUE-49 Meaning of Filter Shapes

From: Arthur Ryman <arthur.ryman@gmail.com>
Date: Thu, 17 Dec 2015 12:59:01 -0500
Message-ID: <CAApBiO=Rtn5GDCWWyaRO+undTW61Q7=9Q9s=KNCUpgAeW4oheA@mail.gmail.com>
To: "public-data-shapes-wg@w3.org" <public-data-shapes-wg@w3.org>
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.

-- Arthur
Received 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