A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System