[ten Cate et al. "Beth Definability in Expressive Description Logics." Journal of Artificial Intelligence Research, 2013.](https://mlanthology.org/jair/2013/tencate2013jair-beth/) doi:10.1613/JAIR.4057
@article{tencate2013jair-beth,
title = {{Beth Definability in Expressive Description Logics}},
author = {ten Cate, Balder and Franconi, Enrico and Seylan, Inanç},
journal = {Journal of Artificial Intelligence Research},
year = {2013},
pages = {347-414},
doi = {10.1613/JAIR.4057},
volume = {48},
url = {https://mlanthology.org/jair/2013/tencate2013jair-beth/}
}