W3C home > Mailing lists > Public > public-data-shapes-wg@w3.org > March 2016

Re: comments on SHACL 3 March editors draft

From: Dimitris Kontokostas <kontokostas@informatik.uni-leipzig.de>
Date: Tue, 15 Mar 2016 19:36:13 +0200
Message-ID: <CA+u4+a0uRgkJ_GzqcLAeF+JW6DJHV1q-oD-L4r450Hu0zJUziw@mail.gmail.com>
To: "Peter F. Patel-Schneider" <pfpschneider@gmail.com>
Cc: Holger Knublauch <holger@topquadrant.com>, public-data-shapes-wg <public-data-shapes-wg@w3.org>
Peter, can you check if this commit overcomes the ordering issue?
https://github.com/w3c/data-shapes/commit/9edef4c82a7f6480d0c45e3e34656c7f93f1dfa5

Would you prefer to delete the figure completely? It that case I would
delete that last two lines of the commit too


On Mon, Mar 7, 2016 at 6:32 PM, Peter F. Patel-Schneider <
pfpschneider@gmail.com> wrote:

> On 03/06/2016 08:46 PM, Holger Knublauch wrote:
> [...]
>
> > On 7/03/2016 6:59, Peter F. Patel-Schneider wrote:
>
> [...]
>
> .2 Filters
>
> >> A SHACL processor might not begin by validating filters.  It might
> instead
> >> look at all in-scope nodes and only later remove those that don't pass
> the
> >> filters.  The document makes this illegal but it might be useful if the
> >> filter shape is expensive to compute and few violations are expected.
> >
> > I believe this is already covered by stating that SHACL engines can
> produce
> > additional validation results, see discussion above.
>
> This is not about validation results.  It is about order of execution.  The
> document states:
>
> When a SHACL processor validates a focus node against a shape, it begins by
> validating any filters associated with the shape via sh:filterShape.
>
> This is too procedural.
>
> peter
>
>
>


-- 
Dimitris Kontokostas
Department of Computer Science, University of Leipzig & DBpedia Association
Projects: http://dbpedia.org, http://rdfunit.aksw.org, http://
http://aligned-project.eu
Homepage:http://aksw.org/DimitrisKontokostas
Research Group: AKSW/KILT http://aksw.org/Groups/KILT
Received on Tuesday, 15 March 2016 17:37:08 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:30:30 UTC