André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter. Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. In Alessandro Artale, Birte Glimm, Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
Abstract is missing.