Conservative Extensions in Horn Description Logics with Inverse Roles