1. A. Artale, D. Calvanese, R. Kontchakov, M. Zakharyaschev, DL-Lite in the light of first-order logic, in: Proc. AAAI, 2007, pp. 361–366.
2. A. Artale, D. Calvanese, R. Kontchakov, M. Zakharyaschev, Adding weight to DL-Lite, in: Proc. DL, CEUR-WS, 2009.
3. The DL-Lite family and relations;Artale;JAIR,2009
4. Using automata theory for characterizing the semantics of terminological cycles;Baader;Ann. Math. Artif. Intell.,1996
5. F. Baader, Terminological cycles in a description logic with existential restrictions, in: Proc. IJCAI, 2003, pp. 325–330.