Skip to content
Snippets Groups Projects
Commit 900b900a authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

app: improve landing page

parent daedfe93
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 99 additions and 46 deletions
src/ulo-storage-applications/src/main/resources/spark/template/freemarker/base.flt
+ 6
− 1
View file @ 900b900a
......@@ -26,6 +26,11 @@
padding-top: 1em;
}
div.civilized {
width: 50em;
margin: 0 auto;
}
footer {
border-top: solid 1px;
color: grey;
......@@ -79,7 +84,7 @@
</head>
<body>
<nav>
<h1><a href="/">uloapi</a></h1> |
<h1><a href="/">ulordf4j.mathhub.info</a></h1> |
📈 <a href="/statistics">Statistics</a> |
❓ <a href="/queries">Queries</a> |
🧭 <a href="/explore">Explore</a>
......
src/ulo-storage-applications/src/main/resources/spark/template/freemarker/error.flt
+ 14
− 12
View file @ 900b900a
Source diff could not be displayed: it is too large. Options to address this: view the blob.
src/ulo-storage-applications/src/main/resources/spark/template/freemarker/index.flt
+ 50
− 13
View file @ 900b900a
......@@ -5,19 +5,56 @@
</#macro>
<#macro page_main>
<h2>ULO/RDF Endpoint</h2>
<p>This is a technology demo of an ULO/RDF Endpoint.</p>
<h3>Introduction</h3>
<p>
Working with RDF triplets is somewhat easy with the <a href="https://rdf4j.org">RDF4J</a> library.
This demo uses RDF4J to illustrate that (1) a connection to an existing database can be established
and (2) this database is filled with some sample data from <a href="https://mathhub.info/">MathHub</a>
repositories.
</p>
<p>
It is no incident that this demo is hacked together with a JVM-based stack. Potential integration
into MMT should be easier with lessons learned from this demo.
</p>
<div class="civilized">
<h2>ULO/RDF RDF4J Endpoint</h2>
<p>
<b>tl;dr</b> This is a demo application created for the
<a href="https://gl.kwarc.info/supervision/schaertl_andreas.git">ulo-storage</a>
project. It runs queries against a knowledge graph of
<a href="https://kwarc.info/people/frabe/Research/CKMRSW_ulo_19.pdf">ULO</a> triplets.
</p>
<p>
One topic of research in the field of computerized
mathematics is the idea of a
<a href="https://kwarc.info/people/mkohlhase/papers/tetrasearch.pdf">tetrapodal search</a>
that combines the distinct areas of mathematical
knowledge, one of which consists of identifiers,
references and their relationships, referred to as
organizational knowledge
</p>
<p>
A previously proposed way to structure organizational
knowledge is the
<a href="https://kwarc.info/people/frabe/Research/CKMRSW_ulo_19.pdf">upper level ontology (ULO)</a>.
ULO takes
the form of an OWL ontology and as such all organization
knowledge is stored as RDF triplets with a unified schema
of ULO predicates.
</p>
<p>
As part of the ulo-storage project, we built up various
infrastructure components that make organizational
knowledge easy to query. In particular, one way to query
such an ULO data set is through the use of the <a href="https://rdf4j.org">RDF4J</a>
Java library.
</p>
<p>
This little demo page contains some sample queries
implemented in Java with the RDF4J library.
</p>
<p>
It is no incident that this demo is hacked together with a
JVM-based stack. Potential integration into <a href="https://kwarc.info/systems/mmt/">MMT</a> should be
easier with lessons learned from this demo.
</p>
</div>
</#macro>
<@display_page/>
\ No newline at end of file
src/ulo-storage-applications/src/main/resources/spark/template/freemarker/queries.flt
+ 16
− 9
View file @ 900b900a
......@@ -8,16 +8,23 @@
<h2>Queries</h2>
<p>
This page contains various example queries. They were executed using RDF4j which you
can think of as SPARQL for JVM languages.
This page contains various example queries.
</p>
<h3>Inductive Queries</h3>
<h3>(1) Inductive Queries</h3>
<p>
Show some tuples where <em>x</em> is inductive on <em>y</em>.
Query took ${inductive_statements_duration} ms.
</p>
<ul>
<li>
Show some tuples where <em>x</em> is inductive on <em>y</em>. Query taken from
<a href="https://kwarc.info/people/frabe/Research/CKMRSW_ulo_19.pdf">
the paper introducing the upper level ontology
</a>.
</li>
<li>
Query took ${inductive_statements_duration} ms.
</li>
</ul>
<table>
<tr>
......@@ -26,8 +33,8 @@
</tr>
<#list inductive_statements as statement>
<tr>
<td>${statement.subject}</td>
<td>${statement.object}</td>
<td><code>${statement.subject}</code></td>
<td><code>${statement.object}</code></td>
</tr>
</#list>
</table>
......
src/ulo-storage-applications/src/main/resources/spark/template/freemarker/statistics.flt
+ 13
− 11
View file @ 900b900a
......@@ -5,20 +5,22 @@
</#macro>
<#macro page_main>
<h2>Statistics</h2>
<div class="civilized">
<h2>Statistics</h2>
<p>
Show not very interesting statistics about the connected database. Illustrates
that we made a connection and can take a look at imported data.
</p>
<p>
Show statistics about the connected database. Illustrates
that we made a connection and can take a look at imported data.
</p>
<h3>Counts</h3>
<h3>Counts</h3>
<ul>
<li>Total Triplets in Repository: <code>${statistics_num_triplets}</code></li>
<li>Repository Writeable: <code>${statistics_is_writeable}</code></li>
<li>Repository Data directory: <code>${statistics_data_dir}</code></li>
</ul>
<ul>
<li>Total Triplets in Repository: <code>${statistics_num_triplets}</code></li>
<li>Repository Writeable: <code>${statistics_is_writeable}</code></li>
<li>Repository Data directory: <code>${statistics_data_dir}</code></li>
</ul>
</div>
</#macro>
<@display_page/>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment