Mestrado em Ciência da Informação

A unidade curricular "Representação do Conhecimento" tem como base a Lógica de 1ª Ordem e usa-a para construir modelos do mundo que possam ser incluídos em sistemas computacionais. A representação do conhecimento e a inferência baseada nele supõem a identificação de ontologias para os domínios escolhidos.
As linguagens de ontologias, como parte da pilha de tecnologias da web semântica, são ferramentas poderosas para tarefas que envolvem analisar conhecimento no mundo e mapeá-lo para representações que possam ser processadas automaticamente.
Pretende-se que nesta unidade os estudantes se familiarizem com a teoria e a prática da representação de conhecimento, ligando-as à sua experiência anterior com a modelação de domínios, a descrição de informação e as bases de dados.