Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability (bibtex)
by Carsten Lutz, Robert Piro, Frank Wolter
Reference:
Carsten Lutz, Robert Piro, 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}
}
Powered by bibtexbrowser