1. Baader, F.: Least common subsumers, most specific concepts, and role-valuemaps in a description logic with existential restrictions and terminological cycles. LTCS-Report 02-07, TU Dresden, Germany (2002), See, http://lat.inf.tudresden.de/research/reports.html;
2. A short version will appear in Proc. IJCAI 2003 (2003)
3. Baader, F.: Terminological cycles in a description logic with existential restrictions. LTCS-Report 02-02, Dresden University of Technology, Germany (2002), See http://lat.inf.tu-dresden.de/research/reports.html;
4. Some of the results in this report will also be published in Proc. IJCAI 2003 (2003)
5. LNAI;F. Baader,2000