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

From International Center for Computational Logic

Toggle side column

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

Sebastian RudolphSebastian Rudolph
Sebastian Rudolph
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics
In Chitta Baral, James P. Delgrande, Frank Wolter, eds., Proc. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), 247-257, 2016. AAAI Press
@inproceedings{R2016,
  author    = {Sebastian Rudolph},
  title     = {Undecidability Results for Database-Inspired Reasoning Problems
               in Very Expressive Description Logics},
  editor    = {Chitta Baral and James P. Delgrande and Frank Wolter},
  booktitle = {Proc. 15th International Conference on Principles of Knowledge
               Representation and Reasoning (KR'16)},
  publisher = {AAAI Press},
  year      = {2016},
  pages     = {247-257}
}