OntoSpy-generated documentation:

bfo-1.1.owl ('superhero' theme)
cidoc-crm-ecrm_current.owl ('superhero' theme)
cito.rdf ('lumen' theme)
cohere8-online.owl ('paper' theme)
conflict1.owl ('slate' theme)
Countries.owl ('spacelab' theme)
dcterms.rdf ('flatly' theme)
discourse-relationships.owl ('united' theme)
DOLCE-Lite_397.owl ('paper' theme)
ecpo.owl ('darkly' theme)
fabio.rdf ('cosmo' theme)
family.swrl.owl ('superhero' theme)
finance_th_web.owl ('superhero' theme)
foaf.rdf ('cosmo' theme)
food.rdf ('paper' theme)
frapo.owl ('slate' theme)
frbr.rdf ('united' theme)
generations.owl ('lumen' theme)
gold-2010.owl ('readable' theme)
goodrelations.rdf ('united' theme)
grid-ontology-v1.rdf ('darkly' theme)
hucit.owl ('lumen' theme)
InstructionalObjects.xml ('flatly' theme)
laki.rdf ('simplex' theme)
lexinfo.owl ('united' theme)
LiMoOntology.owl ('flatly' theme)
musicontology.rdf ('lumen' theme)
naval.ttl ('sandstone' theme)
npg-article-types-ontology.ttl ('lumen' theme)
npg-core-ontology.ttl ('simplex' theme)
NTNames.owl ('simplex' theme)
oa.rdf ('simplex' theme)
OKAR-0.92.owl ('slate' theme)
people.owl ('lumen' theme)
pizza.ttl ('sandstone' theme)
pliny.owl ('simplex' theme)
purl.org_ontology_bibo_.rdf ('lumen' theme)
resume.owl ('lumen' theme)
sails6.owl ('sandstone' theme)
schema_org_topbraid.ttl ('spacelab' theme)
sciencecommons.owl ('readable' theme)
scigraph-core-ontology.ttl ('yeti' theme)
semanticbible.owl ('darkly' theme)
skos.rdf ('slate' theme)
terms.rdf ('yeti' theme)
time.owl ('simplex' theme)
Uncertainty.owl ('darkly' theme)
vann.rdf ('superhero' theme)
vcard.rdf ('united' theme)
void.rdf ('slate' theme)
weightingontology.owl ('darkly' theme)
whisky.rdf ('lumen' theme)