1. Abburu, S. (2012). A survey on ontology reasoners and comparison. International Journal of Computer Applications, 57(17), 33–39.
2. Areces, C., Bouma, W., & Rijke, M. D. (1999). Description logics and feature interaction. In Lambrix et al. (Eds.), Proceedings of the international workshops on description logics (DL’99). Sweden: Linkoping.
3. Arpirez, J., Corcho, O., Fernandez-Lopez, M., Gomez-Perez, A. (2001). WebODE: a Scalable Workbench for Ontological Engineering. First International Conference on Knowledge Capture (KCAP'01). ACM Press (1-58113-380-4), (pp: 6–13).
4. Baader F, Nutt W (2003). Basic Description Logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider (Eds.), The Description Logic.
5. Baader, F., Lutz, C., Suntisrivaraporn, B. (2006a). Efficient reasoning in ELˆ+, in proceedings of the 2006 international workshop on description logics (DL2006). CEUR-WS.