ulo-20200803
-
# The Upper Library Ontology (for metadata on theorem prover libraries)
This repository contains the [OWL2](https://www.w3.org/TR/owl2-overview/) implementation of the Upper Library Ontology [ulo.owl](ulo.owl) and [OWLDoc documentation](OWLDoc/).