From 8e4f0ca22c8c1aaad0d233f3b281cc3adb8941ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Mon, 4 May 2020 10:32:21 +0200
Subject: [PATCH] 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 | 5 +++++
1 file changed, 5 insertions(+)
create mode 100644 ulo/queries/inductive.sparql
diff --git a/ulo/queries/inductive.sparql b/ulo/queries/inductive.sparql
new file mode 100644
index 0000000..2f19a1e
--- /dev/null
+++ b/ulo/queries/inductive.sparql
@@ -0,0 +1,5 @@
+PREFIX ulo: <https://mathhub.info/ulo>
+
+SELECT ?x ?y WHERE {
+ ?x ulo:inductive-on ?y.
+}
--
GitLab