agenda item for this week from Peter F. Patel-Schneider on 2016-06-21 (public-data-shapes-wg@w3.org from June 2016)

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Tue, 21 Jun 2016 10:58:13 -0700
To: public-data-shapes-wg@w3.org
Message-ID: <313895e8-0acd-97a0-47ac-27792f7bb939@gmail.com>

I would like to have a discussion about what to do with the SPARQL problems
related to EXISTS.  SHACL heavily uses EXISTS and depends on a treatment of
EXISTS that is different from the one in the SPARQL specification.

For example, according to the SPARQL specification
  hasClass(ex:Person)
will be true for any value node that is a blank node if any node in the graph
is a SHACL-instance of ex:Person.

So there will be no violations reported for
  ex:s1 a sh:Shape ;
    sh:scopeNode ex:Bob ;
    sh:property [ sh:predicate ex:child ; sh:class ex:Person ] .
on
  ex:Bob a ex:Person ;
     ex:child _:Bill .

peter

Received on Tuesday, 21 June 2016 17:58:44 UTC