Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics

Sebastian Rudolph. Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. In Chitta Baral, James P. Delgrande, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. pages 247-257, AAAI Press, 2016. [doi]

@inproceedings{Rudolph16,
  title = {Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics},
  author = {Sebastian Rudolph},
  year = {2016},
  url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12787},
  researchr = {https://researchr.org/publication/Rudolph16},
  cites = {0},
  citedby = {0},
  pages = {247-257},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016},
  editor = {Chitta Baral and James P. Delgrande and Frank Wolter},
  publisher = {AAAI Press},
  isbn = {978-1-57735-755-1},
}