README.md

uloapi
======

This repository contains the `uloapi` codebase, a JVM (Java) project
that uses the RDF4J library [1] which I might end up using for
connecting MMT to the data set extracted/indexed from MathHub.

Running
-------

To build and start the demo, first make sure the configuration file
`uloapi.properties` is to your liking. Once ready, simply run

	mvn compile exec:java

to run the demo. To compile all classes including dependencies in one
single JAR, run

	mvn install

References
----------

[1] https://rdf4j.org/