A tetrachotomy of ontology-mediated queries with a covering axiom

Re-assign community