From 3b971900126653e62c3a85e8c60b4a89b458252a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Mon, 4 May 2020 11:05:51 +0200
Subject: [PATCH] [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 | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/timeline/week19.txt b/timeline/week19.txt
index 0b39571..2431e6a 100644
--- a/timeline/week19.txt
+++ b/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
 
-- 
GitLab