shapePartition like classPartition

[JervenBolleman]

I would like to annotate that a dataset has elements that are grouped by a named data shape (ShACL, Shex or other).

:MyDataset a void:Dataset;
    void:shapePartition [ void:shape [  a sh:NodeShape ;
                                                                 sh:targetClass foaf:Person ] ];
    void:shapePartition [ void:shape [ a sh:NodeShape ;
                                                                  sh:targetClass foaf:Organization ]];

This would add two new object properties void:shapePartition and void:shape

void:shapePartition a owl:ObjectProperty;
    rdfs:label "shape partition";
    rdfs:comment "A subset of a void:Dataset that contains only the entities of a that conform to certain data shape.";
    rdfs:domain void:Dataset;
    rdfs:range void:Dataset;
    rdfs:subPropertyOf void:subset .

void:shape a owl:ObjectProperty;
    rdfs:label "shape";
    rdfs:comment "The shape describing a set of entities in a Dataset.";
    rdfs:domain void:Dataset;

void:shaclShape a owl:FunctionalProperty ;
   rdfs:label "ShACL shape" ;
   rdfs:comment "A ShACL shape describing a set of entities in a Dataset.";
   rdfs:subPropertyOf void:shape ;
   rdfs:range <http://www.w3.org/ns/shacl#shape> .

void:shexShape a owl:FunctionalProperty ;
   rdfs:label "ShEx shape " ;
   rdfs:comment "A ShEx shape describing a set of entitites in a Dataset" ;
   rdfs:subProeprty of void:shape ;
   rdfs:range <http://www.w3.org/ns/shex#shape> .

[tfrancart]

Very close to w3c/data-shapes#154