[x] ran some queries on graphdb

- Encountered some missing data in the example dataset.

- Going to look at the idea behind ulo:aligned-with

timeline/week19.txt

@@ -3,7 +3,18 @@ Week 19 (04.05.-10.05.)
 
 [~] familiarize yourself w/ some tooling
 
-	[ ] run all quries from ulo paper in graphdb
+	[~] run all quries from ulo paper in graphdb
+
+	    -> Some of the example queries require more data than
+	       in the cited imports. In particular, there are zero
+	       occurences of `aligned-with' in the Isabelle and Coq
+	       export -> of course a query using `aligned-with' in GraphDB
+	       returns zero results
+
+	    -> The idea of `aligns-with' however is quite interesting
+	       and I want to look that paper. It seems to be a way of
+	       joining multiple namespaces and defintions of a given
+	       thing (e.g. the natural numbers).
 
 	[ ] run queries from code