Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability (bibtex)

by Carsten Lutz, Robert Piro and Frank Wolter

Reference:

Carsten Lutz, Robert Piro and Frank Wolter, "Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability", In IJCAI-11, IJCAI/AAAI, pp. 983-988, 2011.

Bibtex Entry:

@inproceedings{LPW11,
  author    = {Carsten Lutz and Robert Piro and Frank Wolter},
  pi        = {Carsten Lutz},
  title     = {Description Logic {TBoxes}: Model-Theoretic Characterizations and Rewritability},
  booktitle = IJCAI-11,
  year      = 2011,
  pages     = {983-988},
  publisher = {IJCAI/AAAI},
  pdffile = {../pipubs/subprojects/P02/Lutz_TBoxes_2011.pdf}
%  editor    = {T. Walsh},
keywords = {easecrc_knowledge}
}