Ontology-mediated query answering (OMQA) consists in asking database queries on
knowledge bases (KBs); a KB is a set of facts called a database, which is described by a …