Frame Logic: uma linguagem lógica orientada a objetos para construção e consultas dedutivas de ontologias Jacques Robin e Franklin Ramalho CIn-UFPE.
