Optimising Ontology Classification - Glimm, B; Horrocks, I; Motik, B; Stoilos, G (Oxford University Computing Laboratory, 2010)