WIP: Resolve "Check if declaration axioms in the debugging ontology are a requirement for the reasoner"
requested to merge 100-check-if-declaration-axioms-in-the-debugging-ontology-are-a-requirement-for-the-reasoner into master
Closes #100
Closes #100