Sá, Samy, and João Alcântara. " Encoding DL-Atoms in RuleML." Anais do VIII Encontro Nacional de Inteligência Artificial, Natal/RN, 2011. SBC, 2011, pp.725-736.