Load some more triples.
Collected formal specifications of useful ontologies.