1. Antoniou, G., van Harmelen, F.: Web ontology language: Owl. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies in Information Systems. Springer, Heidelberg (2003)
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge (2003)
3. Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web (2003)
4. Baumgartner, P.: Hyper Tableaux — The Next Generation. Technical Report 32–97, Universität Koblenz-Landau (1997)
5. Lecture Notes in Computer Science;P. Baumgartner,2004