Statistical EL is ExpTime-complete