Sabellek, L.. Ontology-mediated Querying with Horn Description Logics. no. 4, Springer Science and Business Media LLC, June 2020, doi:10.1007/s13218-020-00674-7.