Really delete the ontology Szs?
The defining file proof_statuses.owl will be deleted as well.
model defined in the file /meta/proof_statuses.owl
http://modelhub.iws.cs.ovgu.de/meta/proof_statuses