1. Baader, F., Brewka, G., Fernández Gil, O.: Adding threshold concepts to the description logic
$\mathcal{EL}$
. LTCS-Report LTCS-15-09, TU Dresden, Germany (2015). see
http://lat.inf.tu-dresden.de/research/reports.html
2. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Proc. IJCAI 2003 (2003)
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook. Cambridge University Press (2003)
4. Baader, F., Küsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proc. IJCAI 1999 (1999)
5. Baader, F., Küsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. LTCS-Report LTCS-98-09. RWTH Aachen, Germany (1998). see
http://lat.inf.tu-dresden.de/research/reports.html