Trabalho de Formatura Supervisionado (MAC0499)

Resumo

As lógicas de descrição, que são sublinguagens da lógica de primeira ordem, têm vários usos. Um deles é a construção de ontologias. Ontologias são sistemas usados para representar algum conhecimento de algum domínio, como saúde ou cinema, por exemplo. Elas são baseadas em classes, propriedades das classes e relações entre elas.

Pode acontecer, em algum dado momento, que a inclusão de algum novo conhecimento torne a base de dados já existente inconsistente, ou seja o novo conhecimento entra em conflito com algum que já estava lá. Nestes casos, é preciso reparar a ontologia, restaurando a consistência. Técnicas de revisão de crenças podem ser usadas para isso.

Um sistema utilizado para definir e usar ontologias é o Protégé. É possível definir as classes, axiomas e relações. Com o auxílio de plug-ins, é possível fazer inferências e até encontrar as inconsistências. Para esse trabalho, deseja-se estudar sobre Revisão de Crenças e desenvolver um plug-in para o Protégé que faça o reparo de uma ontologia que fique inconsistente.