(CQ) answering over description logics (DL) ontologies. Nevertheless, existing approaches
are restricted to tractable DL languages. In this work, we extend the combined method to the
more expressive DL Horn-ALCHOIQ—a language for which CQ answering is EXPTIME-
complete—in order to develop an efficient and scalable CQ answering procedure which is
worstcase optimal for Horn-ALCHOIQ and ELHO ontologies. We implement and study the …