Título: Representação de Conhecimento, Ontologias e Lógicas de Descrição.

Palestrante: Renata Wassermann

Resumo: Lógicas de descrição têm sido usadas para representação de conhecimento
ontológico desde os anos 80. Na última década, com o advento da Web Semântica,
surgiu um grande interesse nesta família de lógicas  para formalizar as
ontologias por trás dos sistemas de anotação semântica.

Neste seminário, pretendo apresentar um breve histórico da área de
representação de conhecimento e introduzir a família das lógicas de descrição
através de suas sintaxe e semântica.