week18.txt

Week 17 (20.04.-26.04.)
=======================

[~] familiarize yourself w/ some tooling

	[x] run all queries from ulo paper in virtuoso

	[~] import all data into graphdb

		[x]  import coq data into graphdb

		     -> had to use a little scritping to remove some
		        invalid(?!) parts from the rdf files

		     -> used script /ulo/coq-cut.sh

		[ ] import isabelle data into graphdb

	[ ] run all quries from ulo paper in graphdb

[ ] familiarize w/ MathHub infastructure

	[ ] look at tooling; user interface &c

	[ ] look at programming interfaces

	[ ] evaluate databases for integration w/ MathHub

References
==========