Add /ulo directory

README.md

-# schaertl_andreas
+Directories
+===========
 
+* `/timeline`: Goals and results for each week.
+
+* `/ulo`: Playing around w/ the results of the ULO paper [1, 2]
+
+References
+==========
+
+[1] https://kwarc.info/people/mkohlhase/papers/cicm19-ulo.pdf
+
+[2] https://gl.mathhub.info/ulo/ulo/blob/master/ulo.owl

ulo/import-recursive-xz-rdf-to-virtuoso.sh

+#! /bin/sh
+
+# Recursivly search the current directory for *.rdf.xz files,
+# extract them and add them to the Virtuoso DB.
+
+set -eu
+
+# temp file that contains the current rdf file, extracted
+# from .xz
+EXTRACTED_FILE="/tmp/extracted.rdf"
+
+# the file that contains the query to execute; virtuso
+# doesn't want to read queries from shell args apperently
+QUERY_FILE="/tmp/query.sparql"
+
+# the graph to put all nodes into
+GRAPH="http://mymath.org"
+
+files=$(find . -name "*.rdf.xz")
+
+for file in $files; do
+    echo "$0: looking at $file" 1>&2
+    xzcat "$file" > $EXTRACTED_FILE
+    query="DB.DBA.RDF_LOAD_RDFXML_MT (file_to_string_output('$EXTRACTED_FILE'), '', '$GRAPH');"
+    echo "$query" > $QUERY_FILE
+    isql-v 1111 dba dba $QUERY_FILE
+done