Araujo, L. C.; Lima-Marques, M. Ontoprolog: Uma Linguagem Para especificação De Discursos Sobre Ontologias. PCI 2017, 22, 188-210.