week18.txt

Week 18 (27.04.-03.05.)
=======================

[~] 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

			-> 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

[ ] familiarize w/ MathHub infastructure

	[ ] look at tooling; user interface &c

	[ ] look at programming interfaces

	[ ] evaluate databases for integration w/ MathHub

References
==========