Bruno Vilar Vilar, B.

Parcilene Fernandes de Brito Brito, P. F.

Resumo

Este trabalho apresenta um estudo inicial acerca da utilização de ontologias, representadas em OWL, para a estruturação de materiais didáticos da disciplina de Lógica Formal e posterior apresentação através de sua leitura por meio de algoritmos. Estes estudos compreendem os primeiros passos para verificar a adequação de tecnologias envolvidas no projeto da Web Semântica para o desenvolvimento de Sistemas de Hipermídia Adaptativa.