Boris Konev, Dirk Walther, Frank Wolter. Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, editors, Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. Volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]
@inproceedings{KonevWW09,
title = {Forgetting and Uniform Interpolation in Extensions of the Description Logic EL},
author = {Boris Konev and Dirk Walther and Frank Wolter},
year = {2009},
url = {http://ceur-ws.org/Vol-477/paper_28.pdf},
tags = {logic},
researchr = {https://researchr.org/publication/KonevWW09},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009},
editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler},
volume = {477},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}