A Non-monotonic Description Logic of Typicality