Frame systems—the ancestors of Description Logics—supported a form of defeasible inheritance and overriding. Such nonmonotonic features disappeared from implementations after the logical reconstruction of frame systems, although applications provide interesting use cases for nonmonotonic inferences. This talk gives an overview of the nonmonotonic DLs introduced so far, and illustrates the many ...