Brave and Cautious Reasoning in EL
The description logic handbook: theory, implementation, and applications