Sá, S., & Alcântara, J. 2011 jul 19. Encoding DL-Atoms in RuleML. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :