1. Formalisms and Semantic Applications Research Group (FORMAS), PPGM/LaSiD/DCC/IME/UFBA - Federal University of Bahia, Salvador-Bahia, Brazil
2. Formalisms and Semantic Applications Research Group (FORMAS), PPGM/LaSiD/DCC/IME/UFBA - Federal University of Bahia, Salvador - Bahia, Brazil