https://9dok.net/document/y96mlrkl-concept-adjustment-for-description-logics.html