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]
@inproceedings{Rudolph16-0,
title = {The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics},
author = {Sebastian Rudolph},
year = {2016},
url = {http://ceur-ws.org/Vol-1577/paper_12.pdf},
researchr = {https://researchr.org/publication/Rudolph16-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016},
editor = {Maurizio Lenzerini and Rafael Peñaloza},
volume = {1577},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}