Formalismos de Representação de Conhecimento Prof. Fred Freitas Centro de Informática - CIn Universidade Federal de Pernambuco - UFPE.