Hu, Bo, Compatangelo, Ernesto, Arana, Inés, "Infusion: a hybrid reasoning system with description logics.", , 2003