From c5fc77beb1034a0614f23fde5cfc0bd29f25c2f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Mon, 27 Apr 2020 17:39:59 +0200
Subject: [PATCH] week18.txt: remove some indents

---
 timeline/week18.txt | 23 +++++++++++++++--------
 1 file changed, 15 insertions(+), 8 deletions(-)

diff --git a/timeline/week18.txt b/timeline/week18.txt
index 2c52f1d..be0dcb3 100644
--- a/timeline/week18.txt
+++ b/timeline/week18.txt
@@ -7,22 +7,25 @@ Week 18 (27.04.-03.05.)
 
 	[~] import all data into graphdb
 
-		[x]  import coq data into graphdb
+		[x] import coq data into graphdb
 
-		     -> had to use a little scritping to remove some
-		        invalid(?!) parts from the rdf files
+		-> had to use a little scritping to remove some
+		invalid(?!) parts from the rdf files
 
-		     -> used script /ulo/coq-cut.sh
+		-> used script /ulo/coq-cut.sh
 
 		[~] import isabelle data into graphdb
 
-			-> importing the isabelle rdf files I get an error
+		-> importing the isabelle rdf files I get an error
 
-				org.eclipse.rdf4j.sail.SailException: Invalid IRI value
+			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
+		   for all files; I wonder if the proposed IRI
+		   scheme is actually illegal; will have to
+		   look into that
 
+		-> RDF [1] uses IRIs which "are a generialization of URI [2]";
+		   IRIs are also defined by the IETF [3]
 
 	[ ] run all quries from ulo paper in graphdb
 
@@ -37,3 +40,7 @@ Week 18 (27.04.-03.05.)
 References
 ==========
 
+
+[1] https://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/
+[2] https://tools.ietf.org/html/rfc3986
+[3] https://tools.ietf.org/html/rfc3987
-- 
GitLab