Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics (bibtex)

by Carsten Lutz and Frank Wolter

Reference:

Carsten Lutz and Frank Wolter, "Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics", In IJCAI-11, IJCAI/AAAI, pp. 989-995, 2011.

Bibtex Entry:

@inproceedings{DBLP:conf/ijcai/LutzW11,
  author    = {Carsten Lutz and
               Frank Wolter},
  pi        = {Carsten Lutz},
  title     = {Foundations for Uniform Interpolation and Forgetting in
               Expressive Description Logics},
  booktitle = IJCAI-11,
  year      = {2011},
  pages     = {989-995},
  publisher = {IJCAI/AAAI},
  pdffile = {../pipubs/subprojects/P02/Lutz_Forgetting_2011.pdf},
keywords = {easecrc_knowledge}
}