https://123dok.net/document/y6em3g44-asserted-axioms-fine-grain-justifications-owl-dl-entailments.html