Sebastian Rudolph. The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics. In Maurizio Lenzerini, Rafael Peñaloza, editors, Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. Volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]
Abstract is missing.