@misc{indiciae38cbda4a1dd7, title = {On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions}, author = {Fabio Grandi}, year = {2003}, url = {https://arxiv.org/abs/cs/0308029}, note = {Source identifier: cs/0308029} }