Description Logic: Axioms and Rules