From 355d5c04a3e4d4f73419be401e6c28ed8e5eb329 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Mon, 27 Apr 2020 16:29:10 +0200
Subject: [PATCH] [~] importing into graphdb

---
 timeline/week18.txt | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/timeline/week18.txt b/timeline/week18.txt
index d37483b..2c52f1d 100644
--- a/timeline/week18.txt
+++ b/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
 
-- 
GitLab