[SHACL API] Do SHACL constraints extend to triples reified through rdf:Statement?

[Matt Johnson]

Hello,

Do SHACL property constraints for a given shape/class extend to reified statements where the subject of the statement is a SHACL instance?

For example, in the following, there are 2 people defined and a reified statement saying that inst:person-1 ex:knows inst:person-2.

If there is closed shape for type 'Person' that does not provide a property constraint for 'ex:knows', should I expect a failure?  If not, why?

Thank you!

Matt

inst:person-1
  rdf:type ex:Person ;
.

inst:person-2
 rdf:type ex:Person ;
.

inst:statement-1
  rdf:type rdf:Statement ;
  rdf:subject inst:person-1 ;
  rdf:predicate ex:knows ;
  rdf:object inst:person-2 ;
.

[Holger Knublauch]

Hi Matt,

SHACL does not perform any sort of inferencing by default, and there is no special handling of reified triples. You'd need to pre-process the input graph, e.g. with a SPARQL CONSTRUCT, to turn the reified triples into "real" triples.

Holger

--
You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include the TopBraid Suite family of products and its base technologies such as SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to topbrai...@googlegroups.com
---
You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-user...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Matt Johnson]

Thank you for the confirmation.