Ian Horrocks: Backtracking and Qualified Number Restrictions: Some Preliminary Results. Description Logics 2002