Título: Introdução ao Uso de Ontologias Formais para Representação de Conhecimento Palestrante: Renata Wassermann Resumo: Há cerca de dez anos, com o início da busca por uma web semântica, ressurgiu o interesse por representações de conceitos e relações baseadas em formalismos lógicos. Neste seminário, pretendo mostrar como o conceito de ontologias é definido e utilizado em inteligência artificial. Em particular, como a representação baseada em ontologias é utilizada em alguns projetos de que participo.