https://9dok.net/document/zlgdpv3g-temporal-query-answering-in-dl-lite.html