owlapi benchmarks resources: large files used for performance verification for OWLAPI