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

Sebastian RudolphSebastian Rudolph

Download

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

Details
Bibtex

Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@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}
}