Esta disciplina é referente ao período 2020/1 que somente foi liberada agora. Seu objetivo é trabalhar conceitos de conhecimento científico e sua representação com uma abordagem voltada aos trabalhos de mestrado e doutorado dos discentes. Ao final da disciplina, os discentes deverão ser capazes de representar o conhecimento relacionado a seus trabalhos de pesquisa em Prolog e/ou Ontologia.