Now we are getting started for real :)

- This uses the RDF4J library which is what GraphDB is based on.
  Though it also supports other backends.

- The API is kinda nice tbh.

- By the end of the week I should know about the API.

- We could use SPARQL, but the RDF4J interface is essentialy SPARQL on
  steroids.

- 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).