TY  - RPRT
TI  - A finite basis theorem for the description logic ${\cal ALC}$
AU  - Marc Aiguier
AU  - Jamal Atif
AU  - Isabelle Bloch
AU  - Céline Hudelot
PY  - 2017
UR  - https://arxiv.org/abs/1502.07634
ID  - 1502.07634
ER  -