1. Baader, F., Hollunder, B., Nebel, B., Profitlich, H.J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems, or making kris get a move on. In: KR, pp. 270–281 (1992)
2. Golbreich, C., Zhang, S., Bodenreider, O.: The foundational model of anatomy in OWL: Experience and perspectives. Web Semantics 4(3), 181–195 (2006)
3. Haarslev, V., Möller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: IJCAI, pp. 161–168 (2001)
4. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible
$\mathcal{SROIQ}$
. In: Proc. KR 2006, pp. 57–67 (2006)
5. Lecture Notes in Computer Science;B. Motik,2008