1. Baader, F., Borgwardt, S., Morawska, B.: Unification in the description logic
$\mathcal{EL}$
w.r.t. cycle-restricted TBoxes. LTCS-Report 11-05, Theoretical Computer Science, TU Dresden (2011),
http://lat.inf.tu-dresden.de/research/reports.html
2. Baader, F., Borgwardt, S., Morawska, B.: Extending unification in
$\mathcal{EL}$
towards general TBoxes. In: Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning. AAAI Press (2012) (short paper)
3. Baader, F., Borgwardt, S., Morawska, B.: SAT encoding of unification in
$\mathcal{ELH}_{{R}^{+}}$
w.r.t. cycle-restricted ontologies. LTCS-Report 12-02, Theoretical Computer Science, TU Dresden (2012),
http://lat.inf.tu-dresden.de/research/reports.html
4. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, pp. 364–369. Morgan Kaufmann, Los Altos (2005)
5. Lecture Notes in Computer Science;F. Baader,2009