ulo: add queries directory

- I run these queries on graphdb which contains a subset
  of the exported Coq and Isabelle dataset.

- I can't run it on the whole datasaet yet because my
  computer would explode.

ulo/queries/inductive.sparql

+PREFIX ulo: <https://mathhub.info/ulo>
+
+SELECT ?x ?y WHERE {
+  ?x ulo:inductive-on ?y.
+}