DRS->OWL: fix in the new handling of toplevel DRS