https://123dok.org/document/dy4wd20q-encoding-satisfiability-modal-description-logics-sat-case-study.html