https://123dok.net/document/q054d69l-reasoning-procedural-programs-using-description-logics-concrete-domains.html