Bo Hu Ernesto Compatangelo Inés Arana Infusion: A Hybrid Reasoning System with Description Logics. 327-332 2003 conf/appinf/2003 Applied Informatics db/conf/appinf/appinf2003.html#HuCA03