We gratefully acknowledge support from
the Simons Foundation and member institutions.

Isabelle Bloch and Céline Hudelot Mrs are qualified to endorse.

A finite basis theorem for the description logic ${\cal ALC}$

Jamal Atif: Is registered as an author of this paper.
Not currently an endorser. (why?)
Isabelle Bloch: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CV, cs.CY, cs.LG, cs.LO, cs.NE. (why?)
Céline Hudelot Mrs: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.CV, cs.IR, cs.LG, cs.LO, cs.MM. (why?)

Marc Aiguier is not registered as an owner of this paper. (why?)