Nós apresentamos neste trabalho o estado da arte na representação de tipicalidade em lógicas de descrição, resumindo suas caracteristicas e analisando suas forças e fraquezas enquanto sistemas de representação de conhecimento típico. Nós também oferecemos um olhar sobre o que está faltando para termos um sistema genérico para raciocínio sobre tipicalidade e oferecemos possíveis extensões a serem desenvolvidas para atingir esse sistema genérico ideal. Nós propomos a adição de um operador de inclusão de tipicalidade para lidar com herança de propriedades típicas no caso de elementos atipicos.

We present in this work the state of the art on the representation of typicality in description log- ics, summing up their different properties and analyzing their relative strengths and weaknesses as systems that represent typical knowledge. We also provide a different perspective on what is missing in terms of a generic system to reason about typicality and offer a possible extension to be developed in order to achieve this ideally generic system. We propose the addition of an opera- tor of typicality inclusion to deal with inheritance of typical properties in case of atypical elements.