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