week19.txt

Week 19 (04.05.-10.05.)
=======================

[~] familiarize yourself w/ some tooling

	[~] run all quries from ulo paper in graphdb

	    -> Some of the example queries require more data than
	       in the cited imports. In particular, there are zero
	       occurences of `aligned-with' in the Isabelle and Coq
	       export -> of course a query using `aligned-with' in GraphDB
	       returns zero results

	    -> The idea of `aligns-with' however is quite interesting
	       and I want to look that paper. It seems to be a way of
	       joining multiple namespaces and defintions of a given
	       thing (e.g. the natural numbers).

	[ ] run queries from code

[ ] familiarize w/ MathHub infastructure

	[ ] look at tooling; user interface &c

	[ ] look at programming interfaces

	[ ] evaluate databases for integration w/ MathHub

[ ] exploration

	[ ]  look at other graph databases; we need to at
	     least look at alternatives, right?

[ ] broken IRIs

	[ ] write down what's wrong exactly; it's not very helpful to
	    just report that "something is wrong, is it?

	[ ] report to authors of exporters

References
==========