https://123dok.net/document/y962x8nv-second-order-description-logics-semantics-motivation-and-calculus.html