Debugging Classical Ontologies Using Defeasible Reasoning Tools. - Simone Coetzer; Katarina Britz (FOIS, 2021)