diff --git a/timeline/week19.txt b/timeline/week19.txt index 0b39571189f6ec6619464e0c7752b12049c9e121..2431e6a6d160dd4e3587c838077996abd0c5b2de 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