TBox absorption
= TBox absorption
{c}
Rewriting suitable general axioms into definitions or primitive inclusions that can be processed when an atomic label is encountered. For example, $A\sqcap B\sqsubseteq\bot$ can be absorbed as $A\sqsubseteq\neg B$.