1. Baader, F., Bürckert, H.J., Heinsohn, J. et al. 1991. Terminological knowledge representation: a proposal for a terminological logic. InProceedings of International Workshop on Terminological Logics, DFKI Document D-91-13.
2. Bechhofer, S., Goble, C., and Horrocks, I. 2001. DAML+OIL is not enough. InProceedings of First Semantic Web Working Symposium, California, pp.151-159.