- I'm going to use graphcli to explore the GraphDB Java interface
  as the tutorials use Java.

- I'll look into Scala later (ideally tomorrow).

- Encountered some missing data in the example dataset.

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

- I run these queries on graphdb which contains a subset
  of the exported Coq and Isabelle dataset.

- I can't run it on the whole datasaet yet because my
  computer would explode.

We'll have to get an iri lib or better yet fix the export in the long
run.

passed an rdf file w/ bad iris on stdin, it returns
a fixed version

- find out how to fix them

- probably should contact whoever did this to fix it as well; look
  at ULO paper again, look at how big this problem is

- converts .xz files to .gz recursively

- graphdb wants .gz files; so there we go

While I do not intend to use this again it's nice to have all in one
place (i.e. this repo).

- It does work but I don't think this db is very
  production-ready/friendly

- It does show that the dataset works as it is
  distributed. So it should work in other DBs as
  well.

If this destroys your file system I am sorry, but I'd like
to experiment w/ keeping everything in one place.

- /timeline will hopefully contain what I did every week and what I plan for
  the next.

- For keeping track I just use simple text files. Sorry orgmode users!