https://123dok.net/document/zgw3jgk8-optimal-querying-expressive-description-logics-expressions-succinct-counting.html