[~] importing into graphdb

timeline/week18.txt

@@ -14,7 +14,15 @@ Week 18 (27.04.-03.05.)
 
 		     -> used script /ulo/coq-cut.sh
 
-		[ ] import isabelle data into graphdb
+		[~] import isabelle data into graphdb
+
+			-> importing the isabelle rdf files I get an error
+
+				org.eclipse.rdf4j.sail.SailException: Invalid IRI value
+
+			for all files; I wonder if the proposed IRI scheme is actually
+			illegal; will have to look into that
+
 
 	[ ] run all quries from ulo paper in graphdb