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