Defesa de Tese de Doutorado: Law and Order(ing): Providing a Natural Deduction System and Non-monotonic Reasoning to an Intuitionistic Description Logic