Added parameter to OWLOntologyFormat for temp files, default disabled.