Add solutions for exercise 11

Author: mmarx

solutions/queries/11.1-property-constraints.rls

@@ -0,0 +1,10 @@
+@import spouse :- tsv{ resource = f"https://query.wikidata.org/sparql?query={URIENCODE(?query)}",
+                       ignore_headers = true
+                     }, ?query = """
+                                 SELECT ?stmt ?subj ?obj WHERE {
+                                   ?subj p:P26 ?stmt . ?stmt ps:P26 ?obj
+                                 }""" .
+
+violations(?stmt) :- spouse(?stmt, ?subj, ?obj), ~spouse(?reverse_stmt, ?obj, ?subj) .
+
+@export violations :- csv{ resource = "" } .

solutions/queries/11.1-property-constraints.sparql

@@ -0,0 +1,9 @@
+# -*- mode: sparql -*-
+#title:spouse statements lacking an inverse
+SELECT ?stmt WHERE {
+  ?subject p:P26 ?stmt .
+  ?stmt ps:P26 ?object .
+  FILTER NOT EXISTS {
+    ?object wdt:P26 ?subject .
+  }
+}

solutions/schemas/11.2.shacl

@@ -0,0 +1,28 @@
+eg:CoordinateShape
+  a sh:NodeShape ;
+  sh:targetClass wikibase:GlobecoordinateValue ;
+  sh:property [
+    sh:path wikibase:geoLatitude ;
+    sh:datatype xsd:double
+    sh:minCount 1;
+    sh:maxCount 1;
+  ] ;
+  sh:property [
+    sh:path wikibase:geoLongitude ;
+    sh:datatype xsd:double;
+    sh:minCount 1;
+    sh:maxCount 1;
+  ] ;
+  sh:property [
+    sh:path wikibase:geoPrecision ;
+    sh:datatype xsd:double;
+    sh:minCount 1;
+    sh:maxCount 1;
+  ] ;
+  sh:property [
+    sh:path wikibase:geoGlobe ;
+    sh:nodeKind sh:IRI;
+    sh:minCount 1;
+    sh:maxCount 1;
+  ] ;
+  sh:closed true .

solutions/schemas/11.3.shex

@@ -0,0 +1,21 @@
+PREFIX eg: <http://example.org/>
+
+eg:Coloured @eg:Red OR @eg:Green OR @eg:Blue
+
+eg:Red CLOSED {
+  a [eg:Node] ;
+  (eg:edge @eg:Green | eg:edge @eg:Blue |
+   ^eg:edge @eg:Green | ^eg:edge @eg:Blue) * ;
+} AND NOT @eg:Green AND NOT @eg:Blue
+
+eg:Green CLOSED {
+  a [eg:Node] ;
+  (eg:edge @eg:Red | eg:edge @eg:Blue |
+   ^eg:edge @eg:Red | ^eg:edge @eg:Blue) * ;
+} AND NOT @eg:Red AND NOT @eg:Blue
+
+eg:Blue CLOSED {
+  a [eg:Node] ;
+  (eg:edge @eg:Green | eg:edge @eg:Red |
+   ^eg:edge @eg:Green | ^eg:edge @eg:Red) * ;
+} AND NOT @eg:Red AND NOT @eg:Green