@misc{indiciaebd0f7e11552b, title = {A Characterization Theorem for a Modal Description Logic}, author = {Paul Wild and Lutz Schröder}, year = {2017}, url = {https://arxiv.org/abs/1705.06214}, note = {Source identifier: 1705.06214} }