1. Acciarri A, Calvanese D, De Giacomo G, Lembo D, Lenzerini M, Palmieri M, Rosati R (2005) QUONTO QUerying ONTOlogies. In: Proc of the nat conf on AI (AAAI’05)
2. Artale A, Calvanese D, Kontchakov R, Zakharyaschev M (2007) DL-Lite in the light of first-order logic. In: Proc of the nat conf on AI (AAAI’07)
3. Artale A, Calvanese D, Kontchakov R, Zakharyaschev M (2009) DL-Lite without the unique name assumption. In: Proc of the description logic WS (DL’09), CEUR
4. Baader F (1990) Terminological cycles in KL-ONE-based knowledge representation languages. In: Proc of the nat conf on AI (AAAI’90)
5. Baader F, Brandt S, Lutz C (2005) Pushing the $\mathcal{EL}$ envelope. In: Proc of the int joint conf on AI (IJCAI’05)