An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $\mathcal{E\!\!\:L}$ (bibtex)

by Carsten Lutz, Inanç Seylan and Frank Wolter

Reference:

Carsten Lutz, Inanç Seylan and Frank Wolter, "An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $\mathcal{E\!\!\:L}$", In KR-12, AAAI Press, 2012.

Bibtex Entry:

@inproceedings{LSW12,
  author    = {Carsten Lutz and Inan{\c{c}} Seylan and Frank Wolter},
  pi        = {Carsten Lutz},
  title     = {An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic {$\mathcal{E\!\!\:L}$}},
  booktitle = KR-12,
  year      = 2012,
  publisher = {AAAI Press},
  pdffile = {../pipubs/subprojects/P02/01-Lutz etal-2012 (KR).pdf},
keywords = {easecrc_knowledge}
}