Schedule changes

Because of the bugs in the currently used triplestore we will use a different system. I will therefore use this week's lecture to show how to use this new system, and how it differs in functionality from the old one.

Thus, this week's lecture on verification and cleaning will be moved to 06.05, and the lecture on pipelines originally scheduled on 06.05 will be moved to the following lecture on 20.05 (originally planned to be one of two lectures with project presentations from you students. As we are not that many students, I think a single lecture for project presentations will be enough.

The guest lecture next week is unaffected by these changes :)

- Leif Harald