https://123dok.net/document/z3d3564m-temporal-query-answering-in-dl-lite.html