1. F. Baader, Computing a minimal representation of the subsumption lattice of all conjunctions of concepts defined in a terminology, in: G. Ellis, R.A. Levinson, A. Fall, V. Dahl (Eds.), Knowledge Retrieval, Use and Storage for Efficiency: Proc. of the 1st Int. KRUSE Symposium, 1995, pp. 168–178
2. Terminological cycles in a description logic with existential restrictions;Baader,2003
3. Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles;Baader,2003
4. Pushing the EL envelope;Baader,2005
5. The Description Logic Handbook: Theory, Implementation, and Applications,2003