Re: Is union of targets distinct?

On 06/01/2022 18:58, Vladimir Alexiev wrote:
> https://www.w3.org/TR/shacl/#targets: "union of terms produced by the 
> individual targets that are declared by the shape".

The text just before that says "the set of RDF terms" and union of sets 
is a set.

>
> Say I have a shape with the following targeting:
>
> sh:targetClass :Foo;
> sh:targetSubjectsOf :bar, :baz;
> sh:targetObjectsOf :blor;
>
> Say a node matches all of these conditions:
> will it be selected for validation once and not 4 times?
>
> I.e., is the "union of terms" supposed to be DISTINCT?
> (Union in mathematics is distinct, but not in SPARQL)

In SPARQL, the things being union'ed are multi-sets.

     Andy

>
> -- 
> Vladimir Alexiev, PhD, PMP
> Chief Data Architect
> Sirma AI, trading as Ontotext: https://www.ontotext.com, LinkedIn 
> <https://www.linkedin.com/company-beta/208070>,Twitter 
> <https://twitter.com/ontotext>,Rate GraphDB 
> <http://www.capterra.com/database-management-software/reviews/157533/Graph%20DB/Ontotext/new>
> Email: vladimir.alexiev@ontotext.com, skype:valexiev1
> Mobile: +359 888 568 132, SMS: 359888568132@sms.mtel.net
> Calendar: 
> https://www.google.com/calendar/embed?src=vladimir.alexiev@ontotext.com
> Publications and CV: https://github.com/VladimirAlexiev/my

Received on Friday, 7 January 2022 10:53:40 UTC