1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. Haarslev, V., Möller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: Proc. of IJCAI 2001, pp. 161–168 (2001)
3. Horrocks, I.: Using an expressive description logic: FaCT or fiction. Proc. of KR 1998, 636–647 (1998)
4. Horrocks, I.: Implementation and optimisation techniques. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 306–346. Cambridge University Press, Cambridge (2003)
5. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From
$\mathcal{SHIQ}$
and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1), 7–26 (2003)