1. Bechhofer, S., Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Scheider, P., Stein, L.: OWL Web Ontology Language Reference. W3C Recommendation (2004), available at
http://www.w3.org/TR/2004/REC-owl-ref-20040210/
2. Horrocks, I., Patel-Schneider, P.: Reducing OWL entailment to description logic satisfiability. J. of Web Semantics 1(4), 345–357 (2004)
3. Haarslev, V., Möller, R.: High performance reasoning with very large knowledge bases: A practical case study. In: IJCAI 2001, Seattle, WA, USA, pp. 161–168 (2001)
4. Lecture Notes in Artificial Intelligence;S. Schlobach,2005
5. Parsion, B., Sirin, E., Kalyanpur, A.: Debugging owl ontologies. In: WWW 2005, Chiba, Japan. ACM, New York (2005)