#41: first script to shrink OWLdoc files

Sabine Schröderrequested to merge
cherry-pick-fe61d08d into ontology

(cherry picked from commit fe61d08d) accidentally merged into master -- now cleaning up

Merge request reports