W3C home > Mailing lists > Public > public-rdf-shapes@w3.org > September 2016

Re: On representation and typing

From: Holger Knublauch <holger@topquadrant.com>
Date: Mon, 26 Sep 2016 17:42:32 +1000
To: public-rdf-shapes@w3.org
Message-ID: <6b737d4c-b42e-ff19-7ae8-f0121266b668@topquadrant.com>
I have tried to address these issues here:

https://github.com/w3c/data-shapes/commit/d73a0f2d6b134263be63a0942edcdb0d97b882b6

Thanks,
Holger


On 26/09/2016 16:40, Peter F. Patel-Schneider wrote:
> Section 1.1: "A shape is represented by a node in a shapes graph that is
> typically a SHACL instance of sh:Shape."
>
> A shape *is* a node in a shapes graph, not *is represented by*, at
> least according to quite a bit of wording later in the document, e.g.,
> "A filter is a shape in a shapes graph".
>
> Similarly for "A valid SHACL property path p is represented by an IRI or a
> blank node".
>
>
> Section 1.1: "A shape is represented by a node in a shapes graph that is
> typically a SHACL instance of sh:Shape."
>
> Section 2: "Shapes are SHACL instances of sh:Shape"
>
> These contradict each other.
>
> Various places: "The rdf:type of [...] shapes can be omitted."
>
> Not without making them not be SHACL instances of sh:Shape.
>
>
> "Additional types of constraints can be added using SHACL Full as
> SPARQL-based constraints or SPARQL-based constraint components. "
>
> So SHACL Full can be used to add a new type of constraint disjoint from
> property and focus node constraints?
>
> Are constraint components constraints?
>
>
> "sh:PropertyConstraint is the class of property constraints. A SHACL
> processor treats all values of sh:property as property constraints. Thus,
> the values of sh:property do not require the rdf:type sh:PropertyConstraint
> triple."
>
> "sh:SPARQLConstraint is an rdfs:subClassOf sh:Constraint and is the class of
> all SPARQL-based constraints."
>
> "sh:ConstraintComponent is the class of all constraint components."
>
> "The class of" is not defined.
>
>
> "Property constraints are linked from a shape with the property
> sh:property."
>
> Here the object of a sh:property triple is a property constraint.
>
> "constraints that operate on value sets, such as sh:hasValue and sh:equals"
>
> Here the constraint appears to be the predicate of a triple.
>
>
> Peter F. Patel-Schneider
> Nuance Communications
>
Received on Monday, 26 September 2016 07:43:08 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:02:44 UTC