I would like to ask about the compactness of the description logics. Which dls are compact?  Or what characteristic makes a dl compact? Is every dl compact? <br>I have searched the literature and the web, but I haven't found any work mentioning the compatness of the description logics.
<br><br>Thank you.<br><br>Márcio<br><br>