1. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
envelope. In: IJCAI 2005, Edinburgh, UK, Morgan-Kaufmann Publishers, San Francisco (2005)
2. Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic
$\mathcal{EL}$
useful in practice. In: Proceedings of the 2005 International Workshop on Methods for Modalities (M4M 2005) (2005)
3. : The Gene Ontology Consortium. Gene Ontology: Tool for the unification of biology. Nature Genetics 25, 25–29 (2000)
4. Cote, R., Rothwell, D., Palotay, J., Beckett, R., Brochu, L.: The systematized nomenclature of human and veterinary medicine. Technical report, SNOMED International, Northfield, IL: College of American Pathologists (1993)
5. Rector, A., Horrocks, I.: Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In: Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI 1997), Stanford, CA, AAAI Press, Menlo Park (1997)