Este documento apresenta o estudo das terminologias: a Ontologia e sua inferência na Lógica Descritiva. Sem a intenção de torná-la inteiramente abrangente, descrevemos a Lógica Descritiva e seu caráter mediador na Ciência ...