A tetrachotomy of ontology-mediated queries with a covering axiom

Open in new window