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

Re: shapes-ISSUE-117 (non-classes as classes): sh:class should not require that its objects be known to be instances of rdfs:Class [SHACL - Core]

From: Arthur Ryman <arthur.ryman@gmail.com>
Date: Tue, 19 Jan 2016 14:37:45 -0500
Message-ID: <CAApBiOmVCH6F4r2pPz6uwubtSa61OzjahFcT85wJOFPgmu_hUQ@mail.gmail.com>
To: RDF Data Shapes Working Group <public-data-shapes-wg@w3.org>
I can see some benefit for the SHACL processor reporting a warning if
the object of sh:class cannot be recognized as a class based on the
shapes graph. This may catch simple typos.

However, the data graph is certainly allowed to use any resource as if
it were a class without explicitly declaring it to be a class.

-- Arthur

On Mon, Jan 11, 2016 at 9:52 AM, RDF Data Shapes Working Group Issue
Tracker <sysbot+tracker@w3.org> wrote:
> shapes-ISSUE-117 (non-classes as classes): sh:class should not require that its objects be known to be instances of rdfs:Class [SHACL - Core]
>
> http://www.w3.org/2014/data-shapes/track/issues/117
>
> Raised by: Peter Patel-Schneider
> On product: SHACL - Core
>
> Currently the spec says:
>
> The property sh:class can be used to verify that each value of the given property is an instance of a given type. The values of sh:class must be classes (instances of rdfs:Class).
>
> In Holger's implementation this is checked in conjunction with the data graph, meaning that a SHACL shape's syntactic correctness depends on the data graph.
>
> Instead, objects sh:class triples should not need to be instances of rdfs:Class.  This means that the shape
>
> [ rdf:type sh:Shape; sh:scopeClass pp:Person ]
>
> should be syntactically correct.
>
>
>
Received on Tuesday, 19 January 2016 19:38:12 UTC

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