https://9dok.net/document/q2no9dke-description-logic.html