Sabellek, L., 2020. Ontology-Mediated Querying with Horn Description Logics 34.. https://doi.org/10.1007/s13218-020-00674-7