diff --git a/timeline/week18.txt b/timeline/week18.txt index be0dcb3dd93262669cd973a509052bfb300a1d98..a59125adfbb6cdcca9960402ae3b57ba88e16da4 100644 --- a/timeline/week18.txt +++ b/timeline/week18.txt @@ -27,8 +27,20 @@ Week 18 (27.04.-03.05.) -> RDF [1] uses IRIs which "are a generialization of URI [2]"; IRIs are also defined by the IETF [3] + -> looking at the grammar of IRIs [3], it indeed seems like the + pipe symbol as used by the ULO exports is in fact not allowed + in IRIs; to quote the IRI grammar + + iunreserved = ALPHA / DIGIT / "-" / "." / "_" / "~" / ucschar + + where ucschar defines various regions of unicode + characters; the lowest of the range is 0xa0, which + is below 0x7c (the pipe symbol) + [ ] run all quries from ulo paper in graphdb +[ ] fix exported IRIs + [ ] familiarize w/ MathHub infastructure [ ] look at tooling; user interface &c