“…CQ entailment has been studied for various DLs (Kontchakov, Pulina, Sattler, Schneider, Selmer, Wolter, & Zakharyaschev, 2009;Lutz & Wolter, 2010;Konev et al, 2012;Botoeva, Lutz, Ryzhikov, Wolter, & Zakharyaschev, 2019), also in the KB version (Botoeva, Kontchakov, Ryzhikov, Wolter, & Zakharyaschev, 2016b;Botoeva et al, 2019), and also for OBDA specifications that involve mappings between data sources and the ABox (Bienvenu & Rosati, 2015), see also the survey by Botoeva, Konev, Lutz, Ryzhikov, Wolter, and Zakharyaschev (2016a). Nevertheless, there is still a notable gap in our understanding of this notion: query entailment between TBoxes is poorly understood in Horn DLs with inverse roles, which are considered a crucial feature in many applications.…”