@INPROCEEDINGS{KoopmannSchmidt13c,
AUTHOR = {Koopmann, P. and Schmidt, R. A.},
YEAR = {2013},
TITLE = {Forgetting Concept and Role Symbols in $\mathcal{ALCH}$-Ontologies},
EDITOR = {McMillan, K. and Middeldorp, A. and Voronkov, A.},
BOOKTITLE = {Proc.\ LPAR 2013},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {8312},
PUBLISHER = {Springer},
PAGES = {552--567},
XDOI = {http://dx.doi.org/XXX},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/KoopmannSchmidt13c.html}},
}