https://123dok.net/document/y962jm1v-dynamic-bayesian-description-logics.html