https://9dok.net/document/yev02nl0-modularization-based-approach-finding-justifications-owl-dl-entailments.html