typeIndex shapes (#5)

* 1st version of shapes * 2nd version of shapes Co-authored-by: Wouter Termont <[email protected]>
solid · Feb 11, 2023 · 61c3907 · 61c3907
1 parent d7f4a5f
commit 61c3907
Show file tree

Hide file tree

Showing 2 changed files with 47 additions and 0 deletions.
diff --git a/shapes/typeIndex.shex b/shapes/typeIndex.shex
@@ -0,0 +1,18 @@
+PREFIX solid: <http://www.w3.org/ns/solid/terms#>
+PREFIX ldp: <http://www.w3.org/ns/ldp#>
+PREFIX typeIndex: <#>
+
+typeIndex:TypeIndex EXTRA a {
+    a [solid:TypeIndex] ;
+    ( a [solid:ListedDocument] | a [solid:UnlistedDocument] )
+}
+
+typeIndex:TypeRegistration EXTRA a {
+    a [solid:TypeRegistration] ;
+    solid:forClass IRI ;
+    ( 
+        solid:instanceContainer { a [ldp:Container] } 
+    | 
+        solid:instance IRI 
+    ) ; 
+}
diff --git a/shapes/typeIndex.ttl b/shapes/typeIndex.ttl
@@ -0,0 +1,29 @@
+PREFIX sh: <http://www.w3.org/ns/shacl#>
+PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
+PREFIX solid: <http://www.w3.org/ns/solid/terms#>
+PREFIX ldp: <http://www.w3.org/ns/ldp#>
+PREFIX : <#>
+
+:TypeIndexShape a sh:NodeShape ;
+    sh:targetClass solid:ListedDocument, solid:UnlistedDocument, solid:TypeIndex .
+
+:TypeRegistrationShape a sh:NodeShape ;
+    sh:targetClass solid:TypeRegistration ;
+    sh:property [
+        sh:path solid:forClass ;
+        sh:nodeKind sh:IRI ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+    ] ;
+    sh:property [
+        sh:predicate solid:instanceContainer ;
+        sh:class ldp:Container ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+    ] ;
+    sh:property [
+        sh:predicate solid:instance ;
+        sh:nodeKind sh:IRI ;
+        sh:minCount 1 ;
+        sh:maxCount 1 ;
+    ] .