[data-shapes] Graph Shapes and Assertions (#382)

multimeric has just created a new issue for https://github.com/w3c/data-shapes:

== Graph Shapes and Assertions ==
A user may want to constrain a graph in ways that cannot be expressed using node and property shapes. For example:

* There must be at least one entity of type `schema:Thing` in the graph. Equivalently, there must be at least one triple of the form `?subject rdf:type schema:Thing`
* There must be no more than N triples in the graph
* No IRIs beginning with some prefix should exist in the graph

Therefore, I wonder if there has been discussion of the idea of graph shapes. Since all of these can be expressed readily using SPARQL ASK queries, I'm envisaging something like this:

```ttl
:myGraphShape
 a sh:GraphShape ;
       sh:ask "ASK { ?s a schema:Thing }" .
```

How can I propose this as part of SHACL and is it in scope?

Please view or discuss this issue at https://github.com/w3c/data-shapes/issues/382 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Friday, 16 May 2025 02:35:14 UTC