Defeasible reasoning in Description Logics: an overview on DL^N