High performance absorption algorithms for terminological reasoning in description logics