https://123dok.net/document/zlg1xv5l-data-complexity-classification-ontology-mediated-queries-covering.html