https://9dok.net/document/qvl4398r-temporal-conjunctive-queries-expressive-description-logics-transitive-roles.html